Conjunction of maxterms from True/False rows or indices (ascending index order; dual of BooleanMinterms)
BooleanMaxterms[k, n]
BooleanMaxterms[{k1, k2, …}, n]
BooleanMaxterms[{{u1, …, un}, {v1, …}, …}]
BooleanMaxterms[spec, {a1, a2, …}]
BooleanMaxterms[spec, {a1, a2, …}, form]
BooleanMaxterms[{5}, {a, b, c}]
→ a || !b || cBooleanMaxterms[{1, 3, 5}, {a, b, c}]
→ ( !a || !b || c) && ( !a || b || c) && (a || !b || c)BooleanMaxterms[{{True, False, True}}, {a, b, c}]
→ a || !b || c