שינויים
/* תרגיל */
D - המלצר נתן קינוח חינם
התנאי לקבלת טיפ: <math>\neg \left[(\neg H\and \neg 0)\and (\neg K\and \neg B)\right] \or (\neg H\and K \and \neg O \and D ) \rightarrow leftrightarrow P </math>
== תחשיב פרידקטים ==
משתמש אלמוני