First, we need to modify our tautology checker to handle logical disjunction $(\vee)$.
To do this, we can modify our existing code to check if any of the sub-propositions connected by $(\vee)$ are true. If at least one of them is true, then the entire
Show more…