アイバーソンの記法
アイバーソンの記法（）はケネス・アイバーソンにちなんで名づけられた記法。Pが真ならば1で偽ならば0である。