Sejam p e q proposições quaisquer cujas operações lógicas entre elas completam a tabela abaixo:
| p | q | p^q | pvq | p→q |
|---|---|---|---|---|
| V | V | V | V | C |
| V | F | A | B | F |
| F | V | F | V | V |
| F | F | F | F | D |
Sendo assim, substituindo-se corretamente as letras A, B, C e D na tabela acima, obtém-se, respectivamente, os seguintes valores:
