A tabela-verdade da proposição ((p → q) ∨ r) ↔ p, apresentada abaixo, está incompleta:

Os valores lógicos que completam a tabela, considerando a ordem de cima para baixo, estão na alternativa: