Summary of logical operators:

¬ NOT. Opposite ¬𝑇 = 𝐹
(~) ¬𝐹 = 𝑇

⋀ AND. Only a true and a true gives a true; all 𝑇⋀𝑇 =𝑇

others are false 𝑇⋀𝐹 =𝐹
𝐹⋀𝑇 =𝐹
𝐹⋀𝐹 =𝐹

⋁ OR. Just need at least one true for a true 𝑇⋁𝑇 = 𝑇

result or the only way to get a false result is if 𝑇⋁𝐹 = 𝑇
there are two false values. 𝐹⋁𝑇 = 𝑇
𝐹⋁𝐹 = 𝐹
→ Implication. If…then. Only false result if a true 𝑇→𝐹=𝐹
‘is followed’ by a false; all others are true 𝑇→𝑇=𝑇
𝑷 → 𝑸 ≡ ¬𝑷⋁𝑸 𝐹→𝑇=𝑇
𝐹→𝐹=𝑇

↔ Biconditional. If and only if (iff). True if both 𝑇↔𝑇=𝑇

have the same value 𝐹↔𝐹=𝑇
𝑇↔𝐹=𝐹
𝐹↔𝑇=𝐹
Complete the truth tables for the following:
1. 𝐴⋀¬𝐵
2. ¬(𝐶⋁𝐷)
3. 𝐸⋁𝐹⋀𝐺
4. 𝐻 → ¬𝐼⋁𝐽
5. 𝐾 ↔ ¬𝐿⋁𝑀
6. 𝑁 ↔ 𝑂 → 𝑃⋀𝑁
7. Determine if 𝑄⋀(𝑅⋁𝑆) is logically equivalent to (𝑄⋀𝑅)⋁(𝑄⋀𝑆)
8. ((𝑇⋀𝑈) → ¬(𝑉 ↔ 𝑈))
1. 𝐴⋀¬𝐵
2. ¬(𝐶⋁𝐷)
3. 𝐸⋁𝐹⋀𝐺
4. 𝐻 → ¬𝐼⋁𝐽
5. 𝐾 ↔ ¬𝐿⋁𝑀
6. 𝑁 ↔ 𝑂 → 𝑃⋀𝑁
7. Determine if 𝑄⋀(𝑅⋁𝑆) is logically equivalent to (𝑄⋀𝑅)⋁(𝑄⋀𝑆)
8. ((𝑇⋀𝑈) → ¬(𝑉 ↔ 𝑈))