HALF of a hypothetical proposition, WHENEVER the if-clause precedes the then-clause.A CONSEQUENT is the second half of a hypothetical proposition.Symbol:∧ = AND = .V = OR = +¬ = NOT ≡ ̅ 1 = TRUEFormula:A → B = ¬ A ∨ B = ¬ A + B¬ (A.B) = A̅ + B̅Calculation:Antecedent of S:(P ∧ Q)→ R ≡ ¬ (P.Q) + R ≡ P̅ + Q̅ + R Consequent of S:(P ∧ Q)→ (Q → R) ≡ ¬ (P.Q) + (¬ Q + R≡ P̅ + Q̅ + Q̅ + R ≡ P̅ + Q̅ + R Hence the antecedent of S is logically equivalent to the consequent of S.S = ((P ∧ Q)→ R)→ ((P ∧ Q)→ (Q → R))S = ¬ (¬ (P.Q) + R) + (¬ (P.Q) + (¬ Q + R))S = P.Q.¬R + ¬ P + ¬ Q. + (¬ Q + R)S = P.Q.R̅ + P̅ + Q̅ + Q̅ + RS = P.Q.R̅ + P̅ + Q̅ + R S = (P̅ + P)(P̅ + Q.R̅ ) + Q̅ + R // A + A̅B = A+ B S = P̅ + Q.R̅ + Q̅ + RS = P̅ + Q̅ + R̅ + RS = 1 = TRUE // A + A̅ = 1S is a tautology