Suatu pernyataan majemuk memiliki arti yang sama jika diganti dengan aturan berikut:
- Tukar semua ∧ dengan ∨: Yang
dan
digantiatau
, yangatau
digantidan
. - Tukar semua T dengan F: Yang benar dibilang salah, yang salah dibilang benar.
Kalau semua aturan ini diikuti, pernyataan tersebut akan tetap memiliki arti yang sama.
Dualitas Hukum De Morgan
Hukum De Morgan adalah seperti ini:
¬ (a ∧ b) = ¬ a ∨ ¬ b
Tidak benar bahwa, kucing dan anjing berkaki lima,
sama artinya dengan, "Kucing tidak berkaki lima, atau anjing tidak berka