(p? Q)
((p→q)∧(q→p)) becomes conjunctive disjunction.
((? p∨q)∧(? Q∨p)) becomes conjunctive disjunction.
(? p∨q)∨? (p∨? Q) de Morgan's law
(p∧? q)∨(? P∧q) De Morgan's Law
(p∧(? p∨? q))∨(((? p∨? Q)∧q) absorption rate is used in turn.
(p∨q)∧(? p∨? Q) distribution rate (? p∨? Q) as a whole
(p∨q)∧? (p∧q)
Question 4
(p∧? q)∨(? p∧q)
(p∧(? p∨? q))∨(((? p∨? Q)∧q) absorption rate is used in turn.
(p∨q)∧(? p∨? Q) distribution rate (? p∨? Q) as a whole
(p∨q)∧? (p∧q)