題組內容

二、Propositional Logic

(2) Please prove that (p ∨ ¬q) ∧ (¬p ∨ q) and (¬q ∧ ¬p) ∨
(p ∧ q) are logically equivalent by using only laws of propositional logic. (10%)