minimalize function

Eliminate logical redundancies from Boolean expressions