Lecture Notes-Section 1.1
Lecture Notes-Section 1.1
1: Propositional Logic
(3) 1 + 1 = 2.
(4) 2 + 2 = 3.
(3) x + 1 = 2.
(4) x + y = z.
p ¬p
T F
F T
3
p q p∧q
T T T
T F F
F T F
F F F
4
p q p∨q
T T T
T F T
F T T
F F F
p q p⊕q
T T F
T F T
F T T
F F F
• if p, q; or p only if q.
• q if p; or q whenever p.
• q unless ¬p;
p q p → q q → p ¬q → ¬p ¬p → ¬q
T T T T T T
T F F T F T
F T T F T F
F F T T T T
p q ¬q p ∨ ¬q p ∧ q (p ∨ ¬q) → (p ∧ q)
T T F T T T
T F T T F F
F T F F F T
F F T T F F
0110110110
1100011101
1110111111 OR
0 1 0 0 0 1 0 1 0 0 AND
1 0 1 0 1 0 1 0 1 1 XOR