0 votes 0 votes how to solve i go to left to right or vice -versa?? S1: (P → (Q ∨ R)) ∧ (P → (Q ∨ ¬R)) → P → Q S2: (P → Q) ∧ ((Q ∧ R) → S) → (P ∧ R) → S Which of the following statements is tautology? (A) Only S1 (B) Only S2 (C) both S1 and S2 (D) None of the above Hradesh patel asked Feb 1, 2017 Hradesh patel 250 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply Sushant Gokhale commented Feb 1, 2017 reply Follow Share implication doesnt have associativity. So, assume left to right. Cant help. 0 votes 0 votes bad_engineer commented Feb 1, 2017 reply Follow Share first one is not tautalogy we can True False case rt?? 0 votes 0 votes suyashj commented Jan 22, 2018 reply Follow Share first one is tautology for sure i am confused about the S2 0 votes 0 votes Please log in or register to add a comment.