O conectivo lógico ⊗ é tal que sua tabela verdade é definida como:
P
Q
P ⊗ Q
F
V
É CORRETO afirmar que a proposição composta (P∧Q)⨂(P↔Q)→(P⨂Q)∨ (~ P) é:
Contingência.
Contradição.
Tautológica.
Equivalente.
