BooleanConvert

BooleanConvert(logical-expr)

convert the logical-expr to disjunctive normal form

BooleanConvert(logical-expr, "CNF")

convert the logical-expr to conjunctive normal form

BooleanConvert(logical-expr, "DNF")

convert the logical-expr to disjunctive normal form

Examples

>> BooleanConvert(Xor(x,y))
x&&!y||y&&!x

>> BooleanConvert(Xor(x,y), "CNF")
(x||y)&&(!x||!y)

>> BooleanConvert(Xor(x,y), "DNF")
x&&!y||y&&!x

Implementation status

• ✅ - full supported

Github

• Implementation of BooleanConvert