Truthtable generation with minterms