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
‹
›
Home
View web version
No comments:
Post a Comment