Disjunction of minterms from True/False rows or indices (descending index order)
BooleanMinterms[k, n]
BooleanMinterms[{k1, k2, …}, n]
BooleanMinterms[{{u1, …, un}, {v1, …}, …}]
BooleanMinterms[spec, {a1, a2, …}]
BooleanMinterms[spec, {a1, a2, …}, form]
BooleanMinterms[{5}, {a, b, c}]
→ a && !b && cBooleanMinterms[{1, 3, 5}, {a, b, c}]
→ (a && !b && c) || ( !a && b && c) || ( !a && !b && c)BooleanMinterms[{{True, False, True}}, {a, b, c}]
→ a && !b && c