booleanMinterms[{2,3},{a,b,c,d}]

simplifica a função booleana f(a,b,c,d) com saída igual aos mintermos 2 e 3.

booleanMinterms[{7,13,15},4] @@ {a,b,c,d}

exibe a função booleana f(a,b,c,d) com saída igual aos mintermos 7, 13 e 15.