Solve any maths problem

Equations, derivatives, integrals, matrices, triangles, primes, statistics, or a word problem the tutor breaks into parts.

Discrete-Math · Propositional-Logic

Truth table of (p -> q) iff (q -> p)

Step by step

  1. \left(p \Rightarrow q\right) \Leftrightarrow \left(q \Rightarrow p\right)

    2 variable(s) → 4 rows. Fill in every combination.

  2. \

    Contingent: true for some inputs, false for others.

Reveal the answer
\left(p \Rightarrow q\right) \Leftrightarrow \left(q \Rightarrow p\right)