3.2 and 3.3

• Look at various truth tables., not, and, or, if, iff
• A self-contradiction is a statement that is always false.
• (p <-> q) ^ (p <-> ~q)
• A tautology is a compound statement that is always true.
• (p^q)->(pVr)
• An implication is a conditional statement that is a tautology.
• Page 123 : 6, 7, 8, 9, 17, 21, 30, 33, 55, 62
• Page 133: 7, 11, 12, 16, 35, 41