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