z1 := ! a || ! b z2 := BooleanMinterms[{0, 1, 2, 4, 5, 6}, {c, b, a}] Equivalent[z1, z2] // TautologyQ BooleanMinimize[z2]