Anleitung 7 Schritte, der Reihe nach in einer Sitzung ausgeführt. Jeder Schritt wurde gegen die Engine ausgeführt, und die Ausgabe unten ist, was er erzeugte.
(True && False) || !TrueFalseOr[And[True, False], Not[True]]FalseBooleanConvert[(a && b) || (!a && b)](a && b) || ( !a && b)Resolve[ForAll[{a, b}, Equivalent[(a && b) || (!a && b), b]], {a, b}, Booleans]Resolve[ForAll[{a, b}, (a && b) || ( !a && b) ⧦ b], {a, b}, Booleans]Resolve[ForAll[a, Exists[b, (a && b) || (!a && b)]], {a, b}, Booleans]Resolve[ForAll[a, Exists[b, (a && b) || ( !a && b)]], {a, b}, Booleans]Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]Resolve[ForAll[{a, b}, Implies[a && b, b]], {a, b}, Booleans]SatisfiableQ[(a && b) && (!a || !b), {a, b}]FalseAlle Rezepte · Funktionsreferenz · Dies aus einem MCP-Client verwenden