Question

Chứng minh hệ thức De Morgan sau:
~(P ^ Q) = ~P v ~Q

Answer 1

Use a truth table:

p … q … p ∧ q … ¬(p ∧ q) … ¬p … ¬q … ¬p ∨ ¬q

T … T … T … F … F … F … F

T … F … F … T … F … T … T

F … T … F … T … T … F … T

F … F … F … T … T … T … T