用等效的否定表达式替换当前的二元布尔表达式及其子表达式。