Equivalências Lógicas
| A ^ B = B ^ A | A v B = B v A = ~A ® B |
| A ® B = ~B ® ~A | A ® B = ~A v B |
| A « B = B « A | A v B = B v A |
| A v B = ~A v ~B | A v B = (A ^ ~B) v (~A ^B) |
| A « B = (A ® B) ^ (B ® A) | |
| ~(A È B) = ~A Ç ~B | ~(A Ç B) = ~A È ~B |
| A ^ (A®B) = A ^ B | (A®~B) ^ (~A®B) = A«~B |
Negações
| ~(A ^ B) = ~A v ~B | ~(A v B) = ~A ^ ~B |
| A ^ ~B = A ® B |
|
| ~(A ® B) = A ^ ~B | ~(A v B) = A « B |
| ~(A v B) = ~A v B = ~B v A | A « B = A v B |
| A « B = ~A « B = A « ~B | |