0 votes 0 votes Mathematical Logic mathematical-logic + – radha gogia asked Aug 25, 2018 radha gogia 256 views answer comment Share Follow See 1 comment See all 1 1 comment reply Shaik Masthan commented Aug 25, 2018 reply Follow Share 1) ~P ∨ S ≡ P → S ( if P true then S must be true ) 2) ~T ∨ ( S ∧ R ) ≡ T → ( S ∧ R ) ( if T true then S and R both must be true ) 3) ~Q ∨ R ≡ Q → R ( if Q true then R must be true ) 4) P ∨ Q ∨ T ( either P is true or Q is true or T is true ===> either S is true ( due to P ) or R is true ( due to Q ) or both true ( due to T ) ) ∴ S ∨ R is conclusion 1 votes 1 votes Please log in or register to add a comment.