Truth Table Symbolized Statement

Question

Truth table for the symbolized statement

( A • B) ≡ (∼ A ∨ ∼ B)

Determine if this statement

1. Tautologous
2. Contingent
3. Self-Contradictory

Answer 1

It is self contradictory....

THe right side is

~(A and B) by DeMorgan's Rule

this contradicts the left side

======================================================

Here is the truth table;

A B ~A ~B A and B ~A or ~B

T T F F T F

T F F T F T

F T T F F T

F F T T F T

notice that the last two columns, A and B vs ~A or ~B, are opposites of each other