Z10237: Difference between revisions

Revision as of 06:08, 31 March 2024

This page displays in a limited way without JavaScript.

@@ Line 370: / Line 370: @@
                     "Z6",
                     "אי-שוויון בוליאני",
-                    "אי שוויון בוליאני"
+                    "אי שוויון בוליאני",
+                    "או מוציא",
+                    "או בררני",
+                    "קסור"
                 ]
             },
@@ Line 447: / Line 450: @@
                 "Z1K1": "Z11",
                 "Z11K1": "Z1186",
+                "Z11K2": "האם שני ערכי אמת אינם זהים. תיאור אחר: \"או\" בינארי בררני, \"או־או\" ולא שניהם, בדיקת קיום אחד התנאים, ואחד בלבד. החזרת ערך 'אמת' אם ערך אחד מהם הוא 'אמת'. גם אם שני הערכים הבוליאניים הם 'שקר' וגם אם שניהם 'אמת', מוחזר 'שקר'."
-                "Z11K2": "האם שני ערכי אמת אינם זהים"
             },
             {