הפסוק הראשון אינו מתקיים ואילו הפסוק השני מתקיים.
==4==
#"אם ערן רעב הוא עצבני."
#"ערן עצבני או שאינו רעב"
נסמן
*p = ערן רעב
*q = ערן עצבני
אזי ההצרנה של הפסוקים הינה:
#<math>p\rightarrow q</math>
#<math>q \or \urcorner p</math>
למדנו בכיתה כי שני הפסוקים הללו '''שקולים'''.
==5==
#"ערן עצבני או רעב, וגם עייף"
#"ערן עצבני או עייף וגם רעב או עייף"
נסמן
*p = ערן רעב
*q = ערן עצבני
*r = ערן עייף
אזי ההצרנה של הפסוקים הינה:
#<math>(q\or p)\and r</math>
#<math>(q\or r)\and (p\or r)</math>
למדנו בכיתה כי שני הפסוקים הללו '''שקולים'''.
==6==
#"הקרנף רץ או הגירפה אוכלת, והאריה צד או הקוף קופץ"
#"הקרנף רץ והאריה צד או הקרנף רץ והקוף קופץ או הג'ירפה אוכלת והאריה צד או הג'ירפה אוכל והקוף קופץ"
נסמן
*p = הקרנף רץ
*q = הגי'רפה אוכלת
*r = האריה צד
*s = הקוף קופץ
אזי ההצרנה של הפסוקים הינה:
#<math>(p \or q) \and (r \or s)</math>
#<math>(p\and r) \or (p\and s) \or (q\and r) \or (q\and s)</math>
קל להראות באמצעות חוק הדיסטריביוטיביות (פילוג) כי שני הפסוקים הללו '''שקולים'''.
=חלק שני=