Na przykład korzystając z koniunkcji i negacji, za pomocą prawa podwójnej negacji można określić alternatywę:
Tabele wartości logicznych {| class="wikitable" |- style="text-align:center" !colspan="10"| |- style="text-align:center" ! !! !! !! !! !! !! |- style="text-align:center" |1 || 1 || 1 ||style="background: #FFFFF0"| 0 || 0 || 0 ||style="background: #FFFFF0"| 0 |- style="text-align:center" |1 || 0 || 0 ||style="background: #FFFFF0"| 1 || 0 || 1 ||style="background: #FFFFF0"| 1 |- style="text-align:center" |0 || 1 || 0 ||style="background: #FFFFF0"| 1 || 1 || 0 ||style="background: #FFFFF0"| 1 |- style="text-align:center" |0 || 0 || 0 ||style="background: #FFFFF0"| 1 || 1 || 1 ||style="background: #FFFFF0"| 1
{| class="wikitable" |- style="text-align:center" !colspan="10"| |- style="text-align:center" !width="*"| !!width="*"| !!width="*"| !!width="*"| !!width="*"| !!width="*"| !!width="*"| |- style="text-align:center" |1 || 1 || 1 ||style="background: #FFFFF0"| 0 || 0 || 0 ||style="background: #FFFFF0"| 0 |- style="text-align:center" |1 || 0 || 1 ||style="background: #FFFFF0"| 0 || 0 || 1 ||style="background: #FFFFF0"| 0 |- style="text-align:center" |0 || 1 || 1 ||style="background: #FFFFF0"| 0 || 1 || 0 ||style="background: #FFFFF0"| 0 |- style="text-align:center" |0 || 0 || 0 ||style="background: #FFFFF0"| 1 ||