האם המשפטים הבאים שקולים:
א. אם אייל שמח אז ענת גבוהה, ואם ענת לא גבוהה אז צחי חמודאייל לא שמח.
ב. כאשר אייל שמח אז צחי חמוד. פיתרון: לא, בעזרת הצרנה וטבלת אמת. אייל לא שמח, אם ורק אם ענת גבוהה וצחי לא חמוד נותן <math>T</math> בשני ו<math>F</math> בראשון.
פיתרון: לא. בא' יש פעמיים את אותו דבר, בגלל השקילות <math>p\to q\equiv \lnot q\to \lnot p</math>. עבור: אייל לא שמח וענת גבוהה, נקבל בא' אמת ובב' שקר.
====תרגיל====