You can gain insight by stepping back.
Statement Forms are symbolized by p, q, r, ....
Compound statements
Name
Connector Symbol Example
When true
Conjunction
AND
p ∧ q
∧
Disjunction
OR
p ∨ q
∨
ex1. You are tall and he is short.
ex2. Mary will study or Mary will go out.
Negation - symbolized by ~ (When p is True, ~p is False and vice versa.)
Order of operations – parentheses, NOT, AND, OR
Truth tables
~p ∨ ~q
p
q
~p
~q
~p ∨ ~q
T
T
T
F
F
T
F
F
CS610 Lecture 1 p.3