Z10237: Difference between revisions

Revision as of 11:22, 30 August 2023

This page displays in a limited way without JavaScript.

@@ Line 166: / Line 166: @@
                 "Z11K1": "Z1186",
                 "Z11K2": "אי־שוויון בוליאני"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1830",
+                "Z11K2": "ブール値の非同値性"
             }
         ]
@@ Line 221: / Line 226: @@
                     "אי-שוויון בוליאני",
                     "אי שוויון בוליאני"
+                ]
+            },
+            {
+                "Z1K1": "Z31",
+                "Z31K1": "Z1830",
+                "Z31K2": [
+                    "Z6",
+                    "XOR",
+                    "xor",
+                    "排他的論理和"
                 ]
             }
@@ Line 268: / Line 283: @@
                 "Z11K1": "Z1186",
                 "Z11K2": "האם שני ערכי אמת אינם זהים"
+            },
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1830",
+                "Z11K2": "両方の入力が等しくない場合のみ真を返す"
             }
         ]