現在のバイナリブール式を同等の否定式に置換します。