הוכח את הבאים:
* <math>\ \neg(A \or B) \equiv \neg A \and \neg B</math>* <math>\ A\or (B \and C ) \equiv (A \or B ) \and (A \or C)</math>
* <math>\ (A\rightarrow B) \equiv ((\neg A) \vee B)</math>.
* <math>\ (A \leftrightarrow B) \equiv ((A \wedge B)\vee((\neg A)\wedge (\neg B)</math>.
* מי שלא לומד בסמסטר נכשל במבחן אמ"מ מי שלא נכשל במבחן למד בסמסטר
===גרירה טאטולוגית===
הביטוי <math>A\Rightarrow B</math> נקרא גרירה טאטולוגית ופירושו: הפסוק <math>A\rightarrow B</math> הינו טאוטולוגיה. לכן כשנדרשים להוכיח משפט מהצורה הזו נראה שאם A נכון אז גם B נכון. או במילים אחרות: נניח שA נכון ונוכיח שגם B נכון.
====תרגיל====
רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוח.
ב. אם אין ברז כיבוי אש פתוח אז יורד גשם.
מסקנה: יש עננים אמ"ם יורד גשם.
פתרון: לא נכון: יורד גשם, אין עננים ויש ברז כיבוי אש פתוח. א+ב מקבלים ערך <math>T</math> והמסקנה <math>F</math>
====תרגיל====
רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוח.
ב. אם אין ברז כיבוי אש פתוח אז יורד גשם.
מסקנה: אם אין ברז כיבוי אש פתוח אז יש עננים.
פתרון: נכון. נניח שאין ברז כיבוי אש פתוח. לכן לפי ב יורד גשם. כעת מסעיף א יש עננים או ברז פתוח, ובצירוף לזה שהנחנו שאין ברז פתוח נותר שיש עננים.
===דרכי הוכחה===