הגדרה: קבוצה A מוכלת בקבוצה B אם בB נמצאים כל האיברים מA (למשל הטבעיים מוכלים בשלמים <math>\mathbb{N}\subseteq\mathbb{Z}</math>, והשלמים מוכלים בממשיים <math>\mathbb{Z}\subseteq\mathbb{R}</math>).
*הצרן תנאי השקול לכך ש-C מוכלת בחיתוך של A וB
פתרון: <math>\forall c \in C \rightarrow (c\in A \and c \in B)</math>
*הצרן תנאי השקול לכך ש-C אינה מוכלת באיחוד של A וB
תרגיל: הוכח באמצעות טבלאות אמת שניתן להציג את הקשרים 'גרירה' ו'וגם' באמצעות 'או' ושלילה בלבד
פתרון:
מתקיים <math>A\to B \equiv \neg A \or B</math>