Steply

Truth table of ~(p or q)

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).

¬(p ∨ q)

1 Rows for p and q

Each letter can be true or false.

Two letters give 2 × 2 = 4 rows: every way they can go.

= two letters: 2 × 2 = 4 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: T, F, T, F, down the column.

2 Column for p ∨ q

We read this sign as or.

∨ = or

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

It is false only when both are false.

p ∨ q: F only when both are F

So it is F only in row 4.

3 Column for ¬(p ∨ q)

We read this sign as not.

¬ = not

¬(p ∨ q) is the opposite of p ∨ q: T becomes F, F becomes T.

¬(p ∨ q): the opposite of (p ∨ q)

So it is T only in row 4.

Careful!

The ¬ is for the whole bracket, not only the first letter.

Careful: ¬ in front of a bracket: the opposite of the whole bracket

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

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

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

4 Check

Let's check row 1 by hand.

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

row 1: p = T, q = T

Put them in: ¬(T ∨ T).

The inside first.

It gives F, as in the table.

Right!

¬(T ∨ T) = ¬T = F

Let's look back.

First: rows for p and q.

Then: column for p ∨ q.

Then: column for ¬(p ∨ q).

Last: check.

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

Your turn

Try this one yourself, then check:

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

More from Truth tables

The whole lesson: Truth tables →