ブール式を否定したものに置換します。