שינויים
/* טאוטולוגיות */
פיתרון: לא. אייל שמח, ענת נמוכה וצחי חמוד נותן <math>T</math> בשני ו<math>F</math> בראשון.
====גרירה טאטולוגית====
הביטוי <math>A\Rightarrow B</math> נקרא גרירה טאטולוגית ופירושו: הפסוק <math>A\rightarrow B</math> הינו טאוטולוגיה. לכן כשנדרשים להוכיח משפט מהצורה הזו נראה שאם A נכון אז גם B נכון. או במילים אחרות: נניח שA נכון ונוכיח שגם B נכון.
=====תרגיל=====
רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוח.
ב. אם אין ברז כיבוי אש פתוח אז יורד גשם.
מסקנה: יש עננים אמ"ם יורד גשם.
פתרון: לא נכון: יורד גשם, אין עננים ויש ברז כיבוי אש פתוח. א+ב מקבלים ערך <math>T</math> והמסקנה <math>F</math>
=====תרגיל=====
רשום נכון או לא נכון:
א. כאשר יורד גשם, יש עננים או שיש ברז כיבוי אש פתוח.
ב. אם אין ברז כיבוי אש פתוח אז יורד גשם.
מסקנה: אם אין ברז כיבוי אש פתוח אז יש עננים.
פתרון: נכון. נניח שאין ברז כיבוי אש פתוח. לכן לפי ב יורד גשם. כעת מסעיף א יש עננים או ברז פתוח, ובצירוף לזה שהנחנו שאין ברז פתוח נותר שיש עננים.
==צורות נורמליות: CNF ,DNF==
