Conditional Biconditional Practice Examples

In this class, We discuss Conditional Biconditional Practice Examples.

The reader should have prior knowledge of conditional connectives. Click Here.

Example 1:

¬(p ∧ q) <-> (¬p ∨ ¬q)

The below diagram shows the truth table.

Example 2:

[q ∧ (p -> q)] -> p

The below diagram shows the truth table.

First, p -> q must be done.

Be careful about the brackets.