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

תרגילים

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})$