1. Biconditional - 2
CS-708

2. Truth Table for p <--> - 3
CS-708

3. Examples – 4a
CS-708

4. Examples – 4b
CS-708

5. p q = (p q) (q p) – 5a v
CS-708

6. p q = (p q) (q p) – 5b v
CS-708

7. p q = (p q) (q p) – 5c v
– 5c
CS-708

8. p q = (p q) (q p) – 5 v
CS-708

9. Rephrasing Biconditional - 6
CS-708

10. Examples – 9
CS-708

11. Examples – 9a
CS-708

12. Examples – 9b
CS-708

13. Examples – 9c
CS-708

14. Truth table for (p q) (~q ~p) – 7a
CS-708

15. Truth table for (p q) (~q ~p) – 7b
CS-708

16. Truth table for (p q) (~q ~p) – 7c
CS-708

17. Truth table for (p q) (~q ~p) – 7
CS-708

18. (p q) (r q) – 8
CS-708

19. (p q) (r q) – 8b
CS-708

20. (p q) (r q) – 8c
CS-708

21. (p q) (r q) – 8d
CS-708

22. (p q) (r q) – 8
CS-708

23. p ~ r q v r – 10 v
CS-708

24. p ~ r q v r – 10b v
CS-708

25. p ~ r q v r – 10c v
CS-708

26. p ~ r q v r – 10d v
CS-708

27. p ~ r q v r – 10e v
CS-708

28. Show that ~p q ≡ p ~q – 11a
CS-708

29. Show that ~p q ≡ p ~q – 11b
CS-708

30. Show that ~p q ≡ p ~q – 11
CS-708

31. Show that ~p q ≡ p ~q – 11c
CS-708

32. Show that ~(p + q) ≡ p q – 12b
CS-708

33. Show That - 1(4 - 2c)
CS-708

34. Show that ~(p + q) ≡ p q – 12d
CS-708

35. Show that ~(p + q) ≡ p q – 12
CS-708

36. Laws of Logic – 14
CS-708

37. Laws of Logic - 14a
CS-708

38. Application – 15
CS-708

39. Application – 15b
CS-708

40. Exercise - 17
CS-708

41. Exercise – 17a
CS-708

42. Exercise – 17b
CS-708