Dada a tabela-verdade acima. A proposição que satisfaz a tabela é:
p ↔ ( ~ p Λ q )
p → ( ~ p Λ q )
p → ( ~ q V p)
p Λ ( ~ p V q )
p ↔ ( ~ p V q )