שינויים
/* הצרנה */
פתרון: נסמן A אני עייף, B אני רעב, C אני עצבני, D אני הולך לישון
ההצרנה <math>[(A\land B)\to (C\lor D)]\and[(C \land \lnot A)\to B]</math>
הצרן: לכל מספר p גדול מ-1: (p ראשוני) אמ"מ (אם הוא מחלק מכפלת מספרים אז הוא מחלק את אחד המספרים).
פתרון:
ההצרנה <math>\forall p >1 : (P(p\iff Q(p))</math> כאשר
* <math>P(x)</math> הוא הפרדיקט "x" הוא ראשוני.
* <math>Q(x)</math> הוא הפרדיקט <math>\forall a,b : p|ab \Rightarrow (p|a \lor p|b)</math>
===הגדרות הקשורות לקבוצות===
