טבלת אמת
טבלת אמת היא טבלה שמראה מה קורה למשפטים לוגיים כשהם אמיתים או שקריים. אמת פירושו שמשהו נכון. שקר פירושו שמשהו לא נכון. קשרים לוגיים הם כללים שמקשרים משפטים. שלילה אומרת להפוך אמת לשקר ושקר לאמת. "וגם" אומר ששני המשפטים צריכים להיות אמת. "או" אומר שאחד מהם מספיק. כל משפט בסיסי יכול להיות רק אמת או...
כללי דה מורגן
כללי דה מורגן אומרים איך להעביר "לא" במשפטים עם "וגם" ו"או". "לא (A וגם B)" שווה ל"(לא A) או (לא B)". "לא (A או B)" שווה ל"(לא A) וגם (לא B)". זה אומר שאם לא נכון ששני דברים יחד נכונים, אז לפחות אחד מהם לא נכון. למשל: "לא (היום יום ראשון וגם יורד גשם)" שווה ל"היום לא יום ראשון או שלא יורד גשם". ...