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

Step by step

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

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

  2. \

    A tautology (always true).

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