Z11227: Unterschied zwischen den Versionen

Version vom 01:58, 26. Sep. 2023

Diese Seite wird ohne JavaScript nur in eingeschränkter Weise angezeigt.

@@ Zein 32: / Zein 32: @@
         "Z1K1": "Z12",
         "Z12K1": [
-            "Z11"
+            "Z11",
+            {
+                "Z1K1": "Z11",
+                "Z11K1": "Z1002",
+                "Z11K2": "not backward Boolean implication(T,T) = F"
+            }
         ]
     },