C 言語の「否定」演算子

Isabelle で遊んでいて「Isabelle の否定記号は ~ だけれど C 言語では ! だったよな」と頭に浮かび、続いて「いやでも C にも ~ あったよな」とおもいだし、論理否定とビットワイズ否定があったということが思いだされ、そして試してみた、というメモ。