Material implication can be re-expressed as a disjunction of the negated antecedent with the consequent. This is the gateway identity for converting all formulas to {¬, ∨} or {¬, ∧} bases.
Material implication can be re-expressed as a disjunction of the negated antecedent with the consequent. This is the gateway identity for converting all formulas to {¬, ∨} or {¬, ∧} bases.