Q1 Propositional Logic 25 Points Which of the following are correct? Note: If you want to review the definition of some symbols, please read Chapter 7 of the textbook. = is defined at the beginning of Chapter 7.5, A = B means A FB and B = A. (1) False = True. (1) True F= False (1) (AAB) E( AB). (iv) ABF AV B. ( VA BE-AV B. (vi) (AAB) = CE(A= C) V( BC). (vin (CV-AA-B)) = (( AC)^( BC)). (viii) (AV B) A(-CV-DVE) (AV B). (ix) (A V B)^(-CV-DVE) E (AV B)^(-DVE). (x) (A V B)A-(A + B) is satisfiable. (x) (A + B)^(-AV B) is satisfiable. Save Answer "Unsaved Changes Q1 Propositional Logic 25 Points Which of the following are correct? Note: If you want to review the definition of some symbols, please read Chapter 7 of the textbook. = is defined at the beginning of Chapter 7.5, A = B means A FB and B = A. (1) False = True. (1) True F= False (1) (AAB) E( AB). (iv) ABF AV B. ( VA BE-AV B. (vi) (AAB) = CE(A= C) V( BC). (vin (CV-AA-B)) = (( AC)^( BC)). (viii) (AV B) A(-CV-DVE) (AV B). (ix) (A V B)^(-CV-DVE) E (AV B)^(-DVE). (x) (A V B)A-(A + B) is satisfiable. (x) (A + B)^(-AV B) is satisfiable. Save Answer "Unsaved Changes