Answer to Question #251303 in Discrete Mathematics for Henry

Question

Build a Fully truth table and identify if tautology, Contradiction or Contingency

¬(¬(P∧Q)↔(¬P)∨(¬Q))

Answer 1

From table it is clear that: $¬(¬(P∧Q)↔(¬P)∨(¬Q))$ is a contradiction.