ヒント：数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。

https://ja.wikipedia.org/wiki/%E5%90%A6%E5%AE%9A#%E3%81%9D%E3%81%AE%E4%BB%96%E3%81%AE%E8%AB%96%E7%90%86%E7%9A%84%E5%90%A6%E5%AE%9A