maths.free › Discrete Math & Logic › Truth tables

Truth tables

And, or, not, implies — and tautologies.

A truth table lists every combination of truth values for the variables and the value of the whole statement in each case. A statement true in every row is a tautology; one false in every row is a contradiction. Try p implies q and not p or q and compare.

Toimiva esimerkki: truth table of p and q

Discrete-Math · Propositional-Logic

Truth table of p and q

Askel kerrallaan

  1. p \wedge q

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

  2. \

    Contingent: true for some inputs, false for others.

Paljasta vastaus
p \wedge q

Kokeile omaasi

Lisää Discrete Math & Logic

Sums and induction