3º) Bicondicional
| 1º Negação | 2º Conjunção | 3º Bicondicional | ||||
| p | q | r | ~q | ~q ∧ r | p ↔ (~q ∧ r) | |
| 1. | V | V | V | F | F | F |
| 2. | V | V | F | F | F | F |
| 3. | V | F | V | V | V | V |
| 4. | V | F | F | V | F | F |
| 5. | F | V | V | F | F | V |
| 6. | F | V | F | F | F | V |
| 7. | F | F | V | V | V | F |
| 8. | F | F | F | V | F | V |
Para facilitar a visualização, abaixo estão apenas as 3 colunas envolvidas nesta operação de bicondicional, destacando que só se obteve o resultado V quando as duas partes são iguais, ou seja, quando tem o mesmo valor lógico na coluna p e na coluna (~q∧r):
| 2º Conjunção | 3º Bicondicional | ||
| p | ~q ∧ r | p ↔ (~q ∧ r) | |
| 1. | V | F | F |
| 2. | V | F | F |
| 3. | V | V | V |
| 4. | V | F | F |
| 5. | F | F | V |
| 6. | F | F | V |
| 7. | F | V | F |
| 8. | F | F | V |