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