Steply

Truth table of ~p and (q or r)

Step by step, with the reason for every step · Truth tables · Discrete Math

Step by step

The question

Question: make the truth table of ¬p ∧ (q ∨ r).

¬p ∧ (q ∨ r)

1 Rows for p, q and r

Each letter can be true or false.

Three letters give 2 × 2 × 2 = 8 rows: every way they can go.

= three letters: 2 × 2 × 2 = 8 rows

We make a table: a column for each letter, then a column for each part, from the inside out.

We write T for true and F for false.

T = true, F = false

p: the first half T, the second half F.

This way no row is missed.

q: two T, two F, and again.

r: T, F, T, F, down the column.

2 Column for ¬p

We read this sign as not.

¬ = not

¬p is the opposite of p: T becomes F, F becomes T.

¬p: the opposite of p

So it is T only in rows 5, 6, 7 and 8.

3 Column for q ∨ r

We read this sign as or.

∨ = or

q ∨ r is true when at least one of them is true.

It is false only when both are false.

q ∨ r: F only when both are F

So it is F only in rows 4 and 8.

4 Column for ¬p ∧ (q ∨ r)

We read this sign as and.

∧ = and

¬p ∧ (q ∨ r) is true only when ¬p and q ∨ r are both true.

¬p ∧ (q ∨ r): T only when both are T

So it is T only in rows 5, 6 and 7.

Careful!

Or includes both.

When both are true, T ∨ T is T.

Careful: not T ∨ T = F ✗

The last column is the answer: when ¬p ∧ (q ∨ r) is true.

Top to bottom: F, F, F, F, T, T, T, F.

= ¬p ∧ (q ∨ r): F, F, F, F, T, T, T, F

5 Check

Let's check row 1 by hand.

In row 1, p is true, q is true and r is true.

row 1: p = T, q = T, r = T

Put them in: ¬T ∧ (T ∨ T).

The inside first.

It gives F, as in the table.

Right!

¬T ∧ (T ∨ T) = F ∧ T = F

Let's look back.

First: rows for p, q and r.

Then: column for ¬p.

Then: column for q ∨ r.

Then: column for ¬p ∧ (q ∨ r).

Last: check.

Answer
= ¬p ∧ (q ∨ r): F, F, F, F, T, T, T, F

Your turn

Try this one yourself, then check:

Make the truth table of ¬p ∨ (q ∨ r)
Show the answer
¬p ∨ (q ∨ r): T, T, T, F, T, T, T, T

More from Truth tables

The whole lesson: Truth tables →