הצרן: "כאשר אני עייף ורעב אני נעשה עצבני, או שאני הולך לישון; אבל אם אני עצבני ולא עייף, אז אני רעב".
פתרון: נסמן A אני עייף, B אני רעב, C אני עצבני, D אני הולך לישון.ההצרנה <math>[(A\land B)\to (C\lor D)]\andlor[(C \land \lnot A)\to B]</math>
====תרגיל====