מתמטיקה תיכונית/אלגברה תיכונית/קבוצות ותחומים/קשרים לוגיים/תרגילים

תרגילים

1. הרכיבו טבלאות אמת עבור הפסוקים הבאים:
   1. (לא $a$) או $b$.
   2. לא ($a$ או $b$).
   3. $\sim (a\wedge b)\vee c$
   4. $((\sim a)\vee (\sim b))\wedge c$
   5. $\sim (a\wedge b)\vee c$
   6. $\sim (a\vee b)$
2. הוכיחו את חוקי דה-מורגן לקשרים לוגיים:
   • $\sim (a\vee b)=(\sim a)\wedge (\sim b)$
   • $\sim (a\wedge b)=(\sim a)\vee (\sim b)$
3. הוכיחו או תנו דוגמא נגדית: $(a\vee b)\wedge c=(a\wedge c)\vee (b\wedge c)$