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