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