A visual interactive method for prime implicants identification