A tabela verdade de (P v Q) ^ (~ P → Q) é:
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔