Discrete Math & Computer Science
Friday 16 January 2015
Mathematical Logic
1. Construct the truth table for ~(~p ^ ~q)
p
q
~p
~q
~p ^ ~q
~(~p ^ ~q)
T
T
F
F
F
T
T
F
F
T
F
T
F
T
T
F
F
T
F
F
T
T
T
F
2. From the truth table to verify p=>q=~p v q
p
q
~p
p=>q
~p v q
T
T
F
T
T
T
F
F
F
F
F
T
T
T
T
F
F
T
T
T
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment