命題の真と偽を反転する論理演算