In logic, a rule entitling one to transform an expression of one form into that of another. The transformation of ¬(p & q ) into ¬ p ∨ ¬ q is an example of De Morgan's laws.
Philosophy dictionary. Academic. 2011.
Philosophy dictionary. Academic. 2011.