用等效的否定表达式替换最顶端的二元布尔表达式及其子表达式。