DeMorgan transformations
From Sidvind
| Initial expression
| Code
| Equivalent expression
| Code
|
| not A and not B
| !A && !B
| not ( A or B )
| !( A || B )
|
| not A and B
| !A && B
| not ( A or not B )
| !( A || !B )
|
| A and not B
| A && !B
| not ( not A or B )
| !( !A || B )
|
| A and B
| A && B
| not ( not A or not B )
| !( !A || !B )
|
| not A or not B
| !A || !B
| not ( A and B )
| !( A && B )
|
| not A or B
| !A || B
| not ( A and not B )
| !( A && !B )
|
| A or not B
| A || !B
| not ( not A and B )
| !( !A && B )
|
| A or B
| A || B
| not ( not A and not B )
| !( !A && !B )
|
-->