Truth Table
Truth Table for ~p^q - 2
Truth Table for ~p^q – 2a
Truth Table for ~p^q – 2b
Truth Table for ~p^q – 2c
~p ^ (q v~ r) – (2 - 3a)
~p ^ (q v~ r) – 2 - 3b
~p ^ (q v~ r) – 2 - 3c
~p ^ (q v~ r) – 2 - 3d
Truth Table for ~p  (p v~ q) – 2 - 3e v
Truth Table for (pvq) ^~ (p^q) – 2 - 4a
Truth Table for (pvq) ^~ (p^q) – 2 - 4c
Truth Table for (pvq) ^~ (p^q) – 2 - 4e v v
Truth Table for (pvq) ^~ (p^q) – 2  -4f
Exclusive OR – 2 - 5
Symbols for Exclusive OR – 2 - 5a
Logical Equivalence – 2 - 6
Double Negation ~(~p) ≡ p – 2 - 7
Examples – 2 - 12
Example – 2 - 17c
Example – 2 - 17d
Example – 2 - 17e
De Morgan’s Laws – 2 - 9
De Morgan’s Laws – 2 - 9a
Proof – 2 - 16
Proof – 2 - 16d
Application – 2 - 10
Exercise – 2 - 19
Tautology – 2 - 21
Example – 2 - 21a
Contradiction – 2 - 22
Example – 2 - 22a
Exercise – 2 - 23
Exercise – 2 - 24
Laws of Logic – 2 - 25
Laws of Logic – 2 - 25a
Laws of Logic – 2 - 25b
Laws of Logic – 2 - 25c
Laws of Logic – 2 - 25d

Lecture 02