=== אטומים ופסוקים ===
יחידת התוכן הבסיסית בכל שפה היא המשפט. במתמטיקה קיבלה המלה "משפט" משמעות מיוחדת (טענה חד-משמעית אמיתית, שיש לה הוכחה), אבל כאן נרצה לטפל בטענות אמיתיות ושקריות באותם כלים. משום כך, אנו מייחדים ליחידת התוכן הבסיסית את המלה '''פסוק''' - בתחילת הדרך הפסוק יתייחס ליחידת תוכן בשפה העברית (היינו, משפט), ובהמשך ניתן למלה הזו משמעות קצת יותר טכנית ומדוייקת. כדוגמא, אפשר לחשוב על הפסוק "החלון הזה מרובע, והכדור הזה עגול אבל לא מנופח". הפסוק מורכב בדרך כלל מכמה '''אטומים''' - במקרה הזה, האטומים הם "החלון מרובע", "הכדור עגול", ו"הכדור אינו מנופח".
=== הצרנת פסוקים ===
הדוגמאות יכולות להיות מסובכות בהרבה:
* "כאשר אני עייף ורעב אני נעשה עצבני, או שאני הולך לישון; אבל אם אני עצבני ולא עייף, אז אני רעב". (כלומר, עבור האטומים המתאימים A,B,C,D: (אם (A וגם B) אז (C או D)), וגם (אם (C ולא A) אז לא B)).
* חוקי המשחק [http://www.setgame.com/set/puzzle_frame.htm SET]: על השולחן מונחים שנים-עשר קלפים, לכל קלף במשחק יש ארבע תכונות: '''צורה''', '''צבע''', '''מספר''' ו'''מילוי'''. על השחקנים למצוא שלשות חוקיות; ''שלשה חוקית'' הינה '''שלשה של קלפים אשר כל תכונה שלהם בנפרד שווה בכולם או שונה בכולם'''. לכן שלשה הינה חוקית אם היא (אם ((הצבע של שלושת הקלפים זהה) או (לכל קלף יש צבע אחר)) וגם ((המילוי של שלושת הקלפים זהה) או (לכל קלף יש מילוי אחר))וגם ((המספר של שלושת הקלפים זהה) או (לכל קלף יש מספר אחר)) וגם ((הצורה של שלושת הקלפים זהה) או (לכל קלף יש צורה אחרת))). (כלומר, עבור האטומים המתאימים A,B,C,D,E,F,H,I: שלשה היא חוקית אם היא (אם (A או B) וגם (C או D) וגם (E או F) וגם (H או I))).
'''תרגיל'''. כתוב את הפסוק המתאר שלשה '''לא חוקית''' במשחק SET.
*"לעיגול אין פינות" (T)
*"במשולש שווה שוקיים, חוצה הזוית מאונך לבסיס" (T)
*"רווק הינו גבר שאינו נשוי" (FT)
* <math>1<2, 2 \times 2=4</math> - פסוקים אמיתיים
* <math>1<0</math>- פסוק שקרי
* D - המלצר נתן קינוח חינם
התנאי לקבלת טיפ: <math>\neg \left[(\neg H\and \neg 0O)\or (\neg K\and \neg B)\right] \or (\neg H\and K \and \neg O \and D ) \leftrightarrow P </math>
=== פסוקים מורכבים ===
* <math>\ \neg (A \wedge B) \equiv (\neg A) \vee (\neg B)</math>.
למשל, כמישהו כשמישהו שואל "האם עבר כאן קו 45 *או* קו 7?", תשובה שלילית פירושה "לא עבר כאן קו 45, *וגם* לא עבר כאן קו 7". אם רוכל מוכר שיקוי פלאים המצמיח שערות *וגם* מרפא שיעול, ורוצים להראות שהוא אינו דובר אמת, מספיק לבדוק שהשיקוי אינו מצמיח שערות, *או* אינו מרפא שיעול.
חוקי דה-מורגן מאפשרים לשפר את המשפט הקודם: