According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.