Professional Documents
Culture Documents
INSTRUCTIONS
1. The Paper is made up of FIVE (5) Questions, question ONE is compulsory plus any other
TWO questions.
2. Credit is given for legibility, clarity of expressions and use of relevant illustrations.
3. Clearly write your registration number on each answer sheet used.
a) Use the truth tables method to determine whether the formula φ: (p∧¬q) → (p∧q) is a
logical consequence of the formula ψ : ¬p. (5marks)
b) Differentiate between a half adder and a full adder. (5mks)
c) Draw a circuit diagram corresponding to the following Boolean expression: (AB + C)D ,
using this expression to find its truth table. (10marks)
QUESTION THREE (20mks)