- Preenchimento dos valores lógicos na tabela verdade
No preenchimento das colunas das proposições componentes p e q, veja a dica das sequências VVFF e VFVF:
| p | q | p ↔ q | |
| 1. | V | V | |
| 2. | V | F | |
| 3. | F | V | |
| 4. | F | F |
- Aplicação da regra da operação lógica
Regra da bicondicional: é verdade quando p e q possuem valores lógicos iguais.
| p | q | p ↔ q | |
| 1. | V | V | V |
| 2. | V | F | F |
| 3. | F | V | F |
| 4. | F | F | V |