A tabela-verdade da proposição ((𝑝 ∧ 𝑞) → ~𝑟) ⟷ 𝑞 está incompleta.
| p | q | r | p^q | ~r | (𝑝 ∧ 𝑞) → ~𝑟 | ((𝑝 ∧ 𝑞) → ~𝑟) ⟷ 𝑞 | 
| V | V | V | V | F | F | F | 
| V | V | F | V | V | V | ? | 
| V | F | V | F | F | V | F | 
| V | F | F | F | V | V | ? | 
| F | V | V | F | F | V | V | 
| F | V | F | F | V | V | ? | 
| F | F | V | F | F | V | ? | 
| F | F | F | F | V | V | F | 
Os valores lógicos que completam a tabela considerando a ordem, de cima para baixo, são: