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