Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 5

ADVERTISEMENT

DeMorgan's Laws:
~ ( p ∨ q ) ≡
“It is not the case that ‘p or q’ is true” means
~ (p ∧ q ) ≡
“It is not the case that ‘p and q’ is true” means
Prove DeMorgan’s Law using a truth table.
p
q
T
T
T
F
F
T
F
F
CS610 Lecture 1 p.5

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education