CSC 156 Fall 2023 - Homework 2 (100 pts. total)
Assigned Mon Sept 11, due Mon Sept 18

[10 pts.] 1. Use logical equivalences to simplify (P ∨ (¬P)) ∨ (¬(¬Q)).

[10 pts.] 2. Is it true that (¬P) ⊕ Q ≡ P ⊕ (¬Q)? Explain using logical equivalences and/or truth tables.

Answer the following questions and submit either in class or through the HW2 link on Moodle. *Make sure to justify your answer for all questions. Do NOT just state the answer.*
Section 1.3 Additional Exercises
  • [12 pts.] #3c
  • [ 6 pts. ] #5ab
  • [ 4 pts. ] #6d
  • [ 8 pts. ] #10ef
    Section 1.4 Additional Exercises
  • [10 pts.] #1de
  • [ 8 pts. ] #2b
  • [ 4 pts. ] #5c
  • [ 8 pts. ] #6b
    Section 1.5 Additional Exercises
  • [10 pts.] #1b,2b
  • [10 pts.] #4bc



    Last Modified: 9/11/23