BooleaMaxterms

BooleaMaxterms({{b1,b2,...}}, {v1,v2,...})

create the conjunction of the variables {v1,v2,...}.

Examples

>> BooleanMaxterms({{1,1,1,1}}, {a, b, c,d})
a||b||c||d

>> BooleanMaxterms({{True,True,True,True}}, {a, b, c,d})
a||b||c||d

Implementation status

• ✅ - full supported

Github

• Implementation of BooleanMaxterms