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

¬b→¬a\neg b \rightarrow \neg a¬b→¬a.

a→¬ba \rightarrow \neg ba→¬b.

¬a→¬b\neg a \rightarrow \neg b¬a→¬b.

¬b→a\neg b \rightarrow a¬b→a.