Tìm phán đoán tương đương lôgích với: a→¬ba \rightarrow \neg ba→¬b.

¬(a∧b)\neg (a \land b)¬(a∧b).

¬a∧¬b\neg a \land \neg b¬a∧¬b.

¬(¬a∧¬b)\neg (\neg a \land \neg b)¬(¬a∧¬b).

a∨ba \lor ba∨b.