שינויים
/* טאוטולוגיות */
<math> \lnot p \land(q\land (\lnot q \lor r)) \equiv \lnot p \land ((q\land \lnot q)\lor (q\land r))\equiv \lnot p\land (F\lor (q\land r))\equiv \lnot p\land (r\land q)</math>
ההצרנה <math>[(A\land B)\to (C\lor D)]\and[(C \land \lnot A)\to B]</math>
הערה (טרמינולוגיה):
*כאשר אומרים ש B הוא תנאי הכרחי ל A פירושו הוא <math>A \to B</math>
*כאשר אומרים ש B הוא תנאי מספיק ל A פירושו הוא <math>B \to A</math>
*כאשר אומרים ש B הוא תנאי הכרחי ומספיק ל A פירושו הוא <math>B \iff A</math>
====תרגיל====
השלם את המשפט הבא: כדי שירד גשם _____ שיהיו עננים בשמים. לכן אם נצרין ע"י "יש עננים בשמים = A", "יורד גשם = B" נקבל "A____B".
פיתרון: הכרחי, <math>\leftarrow </math>
==צורות נורמליות: CNF ,DNF==
