| Negato | De Morgan | ||
|---|---|---|---|
|
x > 0 |
x <= 0 |
||
|
x >= 0 |
x < 0 |
||
|
y > 0 |
y <= 0 |
notA and notB |
|
|
(x > 0) and (y > 0) |
not(A and B) |
notA or notB |
|
|
A and notB |
not(A and notB) |
notA or B |
|
|
notA and B |
not(B and notA) |
A or notB |
|
|
A and notB or B and notA |
not(...) |
(notA or B) and (notB or A) | |
|
= (A or B) and not(A and B) |
not(...) |
(notA and notB) or A and B |
|
|
A and notA |
not(A and notA) |
notA or A | |
|
A or notA |
not(A or notA) |
notA and A |