Dadas duas proposições simples, p e q, uma das leis de De Morgan perpassa a tautologia

[ ~ ( p ∧ q ) ] ↔ [ ( ~ p ) ∨ ( ~ q ) ]

Essa tautologia é logicamente equivalente à expressão.