Bes
Operations for minimization of Boolean expressions.