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 (not p -> (q and not q)) -> p

Step by step

  1. \left(\neg p \Rightarrow \left(q \wedge \neg q\right)\right) \Rightarrow p

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

  2. \

    A tautology (always true).

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