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