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

¬a∨b\neg a \lor b¬a∨b.

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

a∧ba \land ba∧b.

a∨ba \lor ba∨b.