What is a tautology? Prove that the statement [(A→B) ∧ A] → A is a tautology by using a truth table.
What is a tautology? Prove that the statement [(A→B) ∧ A] → A is a tautology by using a truth table.
From the BB Assistant Programmer 2016 – Written exam, question 1 of 9.