Discrete Mathematics

1. Truth Table

2. Truth Table for ~p^q - 2

3. Truth Table for ~p^q – 2a

4. Truth Table for ~p^q – 2b

5. Truth Table for ~p^q – 2c

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

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

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

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

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

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

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

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

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

15. Exclusive OR – 2 - 5

16. Symbols for Exclusive OR – 2 - 5a

17. Logical Equivalence – 2 - 6

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

19. Examples – 2 - 12

20. Example – 2 - 17c

21. Example – 2 - 17d

22. Example – 2 - 17e

23. De Morgan’s Laws – 2 - 9

24. De Morgan’s Laws – 2 - 9a

25. Proof – 2 - 16

26. Proof – 2 - 16d

27. Application – 2 - 10

28. Exercise – 2 - 19

29. Tautology – 2 - 21

30. Example – 2 - 21a

31. Contradiction – 2 - 22

32. Example – 2 - 22a

33. Exercise – 2 - 23

34. Exercise – 2 - 24

35. Laws of Logic – 2 - 25

36. Laws of Logic – 2 - 25a

37. Laws of Logic – 2 - 25b

38. Laws of Logic – 2 - 25c

39. Laws of Logic – 2 - 25d