שינויים
ביטול גרסה 72702 של [[Special:Contributions/Mathzeta2|Mathzeta2]] ([[User talk:Mathzeta2|שיחה]])
פתרון: נסמן A אני עייף, B אני רעב, C אני עצבני, D אני הולך לישון.
ההצרנה <math>[(A\land B)\to (C\lor D)]\lorand[(C \land \lnot A)\to B]</math>
====תרגיל====