פיתרון: הכרחי, <math>\leftarrow </math>
==טאוטולוגיות==
הגדרה : טאוטולוגיה הינה ביטוי שנכון תמיד ללא תלות בערכים שמציבים בו.
למשל <math>A \or \neg A</math>
הגדרה: נאמר שביטוי <math>A</math> שקול טאוטולוגית לביטוי <math>B</math> (ונסמן <math>A \equiv B</math>)
אם הביטוי <math>A \iff B</math> הינו טאוטולוגיה (במילים: A קורה אמ"מ B קורה)
====תכונות הקשרים====
* קיבוציות <math>(A\land B) \land C \equiv A\land (B \land C), (A\lor B) \lor C \equiv A\lor (B \lor C) </math>
* חילופיות <math>A\land B \equiv B\land A, A\lor B \equiv B\lor A</math>
* פילוג <math>A\lor (B\land C)\equiv (A\lor B)\land (A\lor C), A\land (B\lor C)\equiv (A\land B)\lor (A\land C)</math>
* כללי דה מורגן <math>\neg (A \lor B) \equiv \neg A \land \neg B, \neg (A \land B) \equiv \neg A \lor \neg B</math>.
=== הצרנה ===
פיתרון: לא, בעזרת הצרנה וטבלת אמת. אייל לא שמח, ענת גבוהה וצחי לא חמוד נותן <math>T</math> בשני ו<math>F</math> בראשון.
==טאוטולוגיות==
הגדרה : טאוטולוגיה הינה ביטוי שנכון תמיד ללא תלות בערכים שמציבים בו.
למשל <math>A \or \neg A</math>
הגדרה: נאמר שביטוי <math>A</math> שקול טאוטולוגית לביטוי <math>B</math> (ונסמן <math>A \equiv B</math>)
אם הביטוי <math>A \iff B</math> הינו טאוטולוגיה (במילים: A קורה אמ"מ B קורה)
====תכונות הקשרים====
* קיבוציות <math>(A\land B) \land C =A\land (B \land C), (A\lor B) \lor C =A\lor (B \lor C) </math>
* חילופיות <math>A\land B =B\land A, A\lor B = B\lor A</math>
* פילוג <math>A\lor (B\land C)= (A\lor B)\land (A\lor C), A\land (B\lor C)= (A\land B)\lor (A\land C)</math>
* כללי דה מורגן <math>\neg (A \lor B) = \neg A \land \neg B, \neg (A \land B) = \neg A \lor \neg B</math>.