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 implies q) iff (not p or q)

Step by step

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

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

  2. \

    A tautology (always true).

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