| 元の式 | 変換後の式 |
|---|---|
| not A and not B | not( A or B ) |
| not A and B | not( A or not B) |
| A and not B | not( not A or B ) |
| A and B | not( not A or not B ) |
| not A or not B | not( A and B ) |
| not A or B | not( A and not B ) |
| A or not B | not( not A and B ) |
| A or B | not( not A and not B ) |
読みやすさは微妙ですが、場合によってはコードを短縮することができます。
例えば：
if (!a || !b) then ...
変換後↓
if !(a && b) then ...