12. Draw the truth table of conjunction (AND).
p
q
p q
∧
T
T
T
T
F
F
F
T
F
F
F
F
13. Obtain the Negation of the statements:
(a) Not all the doctors in this town are crooks.
(b) I loved neither Padmaja nor Naveena.
(a) All the doctors in this town are crooks.
(b) I loved either Padmaja or Naveena.
14. Obtain the conjunction of the statements.
(a) p: I am rich.
q: You are old.
(b) p: 8 + 8 = 17
q: Sun rises in the east.
(a) p ∧ q : “I am rich and you are old”.
(b) p ∧ q : 8 + 8 = 17 and Sun rises in the East.
15. Sketch the truth table of disjunction (OR).
p
q
p q
∧
T
T
T
T
F
F
F
T
T
F
F
F
16. Obtain the disjunction of the statements
p: Ravi did it
q: Ram did it.
p q
∨ : Either Ravi or Ram did it.
17. What is meant by implication? Sketch the Truth Table.
p q
⇒ read as “if p, then q” is an implication.
300
Theory of Automata, Formal Languages and Computation