Answer to Question #309585 in Discrete Mathematics for jepay

Question

show that

$$(p\leftrightarrow q) (p\land q) \lor (\neg p \land \neg q)$$

are logically equivalent

Answer 1

Solution

The truth table for both $(p↔q)$ and $(p∧q)∨(¬p∧¬q)$ are shown below.

The above two truth tables show that

$(p↔q)$ and $(p∧q)∨(¬p∧¬q)$

are logically equivalent.