BooleanConvert
Доступно
Convert Boolean expressions.
BooleanConvert[expr]
BooleanConvert[expr, form]
BooleanConvert[expr, form, cond]
BooleanConvert[x]
→ xBooleanConvert[Xor[a, b, c], "CNF"]
→ ( !a || !b || c) && ( !a || b || !c) && (a || !b || !c) && (a || b || c)BooleanConvert[Equivalent[a, b], "CNF"]
→ ( !a || b) && (a || !b)BooleanConvert[Xor[a, b], "NAND"]
→ Nand[Nand[a, !b], Nand[ !a, b]]BooleanConvert[(a || b) && c, "NOR"]
→ Nor[Nor[a, b], !c]BooleanConvert[a || b, "ANF"]
→ Xor[a, b, a && b]BooleanConvert[(a || b) && c, "IF"]
→ If[a, If[c, True, False], If[b, If[c, True, False], False]]BooleanConvert[Majority[a, b, c], "DNF"]
→ (a && b) || (a && c) || (b && c)BooleanConvert[a || !a, "CNF"]
→ True Все 6300 функций ·
Использовать из MCP-клиента