===דרכי הוכחה===
הוכח שהפסוקים הבאים הינם טאוטולוגיות:
*<math>(A\rightarrow Rightarrow B) \leftrightarrow iff (\neg B \rightarrow Rightarrow \neg A)</math>*<math>A \leftrightarrow iff(\neg A \rightarrow Rightarrow F)</math>*<math>(A\lor B) \iff(\neg A \Rightarrow B)</math>