Prove that (a ∧ (b → ¬a)) → ¬b is a tautology.

The Answer to the Question
is below this banner.

Can't find a solution anywhere?

NEED A FAST ANSWER TO ANY QUESTION OR ASSIGNMENT?

You will get a detailed answer to your question or assignment in the shortest time possible.

Here's the Solution to this Question

$(a ∧ (b → ¬a)) → ¬b \\\equiv (a ∧ (¬b∨ ¬a)) → ¬b \\\equiv ((a ∧ ¬b)∨(a ∧¬a)) → ¬b \\\equiv ((a ∧ ¬b)∨F) → ¬b \\\equiv (a ∧¬b) → ¬b$

$\\\equiv ¬(a ∧¬b) ∨ ¬b \\\equiv (¬a ∨b) ∨ ¬b \\\equiv ¬a ∨ (b ∨¬b) \\\equiv ¬a ∨ T \\\equiv T$

Thus, it is a tautology.

Hence, proved.