booleanminimize((A or B) and (C or D) and (E or F))