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