lecture 02

CS-708 1

Truth Table

CS-708 2

Truth Table for ~p^q - 2

CS-708 3

Truth Table for ~p^q – 2a

CS-708 4

Truth Table for ~p^q – 2b

CS-708 5

Truth Table for ~p^q – 2c

CS-708 6

~p ^ (q v~ r) – (2 - 3a)

CS-708 7

~p ^ (q v~ r) – 2 - 3b

CS-708 8

~p ^ (q v~ r) – 2 - 3c

CS-708 9

~p ^ (q v~ r) – 2 - 3d

CS-708 10

Truth Table for ~p (p v~ q) – 2 - 3e

v

CS-708 11

Truth Table for (pvq) ^~ (p^q) – 2 - 4a

CS-708 12

Truth Table for (pvq) ^~ (p^q) – 2 - 4c

CS-708 13

Truth Table for (pvq) ^~ (p^q) – 2 - 4e

vv

CS-708 14

Truth Table for (pvq) ^~ (p^q) – 2 -4f

CS-708 15

Exclusive OR – 2 - 5

CS-708 16

Symbols for Exclusive OR – 2 - 5a

CS-708 17

Logical Equivalence – 2 - 6

CS-708 18

Double Negation ~(~p) ≡ p – 2 - 7

CS-708 19

Examples – 2 - 12

CS-708 20

Example – 2 - 17c

CS-708 21

Example – 2 - 17d

CS-708 22

Example – 2 - 17e

CS-708 23

De Morgan’s Laws – 2 - 9

CS-708 24

De Morgan’s Laws – 2 - 9a

CS-708 25

Proof – 2 - 16

CS-708 26

Proof – 2 - 16d

CS-708 27

Application – 2 - 10

CS-708 28

Exercise – 2 - 19

CS-708 29

Tautology – 2 - 21

CS-708 30

Example – 2 - 21a

CS-708 31

Contradiction – 2 - 22

CS-708 32

Example – 2 - 22a

CS-708 33

Exercise – 2 - 23

CS-708 34

Exercise – 2 - 24

CS-708 35

Laws of Logic – 2 - 25

CS-708 36

Laws of Logic – 2 - 25a

CS-708 37

Laws of Logic – 2 - 25b

CS-708 38

Laws of Logic – 2 - 25c

CS-708 39

Laws of Logic – 2 - 25d