(? (p∧? q)∧(? q∨r)∧? r)∨? P becomes conjunctive disjunction
p∨? (? (p∧? q)∧(? q∨r)∧? R) permutation law ordering
p∨((p∧? q)∨? (? Q∨r)∨r) De Morgan's Law
p∨((p∧? q)∩(q∧? R)∞r) De Morgan's Law
p∨(p∧? q)∩(q∧? R)∞r associative law
p∨? q∨(q∧? R)∞r separation absorption rate
p∨? q∨? R∨r conjunctive disjunctive absorption rate
real