==טבלאות אמת==
*הוכח באמצעות טבלאות אמת שניתן להציג את הקשרים 'גרירה' ו'וגם' באמצעות 'או' ושלילה בלבד
הגדרה : טאוטולוגיה הינה ביטוי שנכון תמיד ללא תלות בערכים שמציבים בו.
למשל <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\to B \equiv \neg A \or B</math>
ומתקיים <math>A \and B = \neg(\neq A \or \neg B)</math>
הוכח את הבאים: