Page 20 - รายงานคอมกลม

3. ก. p  q ข. P  ~q
~q
P q P  q P  ~q

T T T F F
T F F T T

F T T F F

F F T T F

จะเห็นว่า p  q กับ P  ~q ต่างกันทุกกรณี

ดังนั้น p  q กับ P  ~q เป็นนิเสธกัน

4. ก. p  q ข. ~p  ~q

~P
P q P  q ~q ~p  ~q
T T T F F T

T F F F T T

F T T T F F

F F T T T T

จะเห็นว่า p  q กับ ~p  ~q ต่างกันบางกรณี

ดังนั้น p  q กับ ~p  ~q ไม่เป็นนิเสธกัน

5. ก. p  q ข. (p  ~q)  (q  ~p)

p q p  q ~p ~q (p  ~q) (q  ~p) (p  ~q)  (q  ~p)

T T T F F F F F

T F F T F T F T

F T F F T F T T
F F T T T F F F