将最顶端的二元布尔表达式替换为等效的否定表达式。