“平和ボケ”のお部屋

　 『阻却事由』は、

　 『成立要件を満たす』と『阻却事由を満たさない』の組み合わせであるから、
　 プログラム的には、True（満たす）を１、False（満たさない）を０とするので、

　 出力結果をそのまま式に当て嵌めると、１＊０＝１ 　 となってしまうから、
　 『阻却事由を満たさない（False）』で出力された結果の
　 ０を１に、１を０に置き換えるプログラムが必要となる。

　 置き換えた後でなら、
　 Ａの条件とＢの条件のどちらも満たされていなければ成立しないのだ

　 と書けば良いだけだが、実際は、Ｂの値は変換したものである。

　 変換前では、

　 Ａの条件を満たし、Ｂの条件は満たされていない場合でなければ成立しないのだ。

　 という説明になるが、これでは、一見、ダブルスタンダードのように見える。

　 で、結局、説明を加えざるを得なくなり、
　 Ａ 　 成立、Ｂ 　 成立 　 → 　 １＊０＝０ 　 無効
　 Ａ 　 成立、Ｂ不成立 　 → 　 １＊１＝１ 　 有効
　 Ａ不成立、Ｂ 　 成立 　 → 　 ０＊０＝０ 　 無効
　 Ａ不成立、Ｂ不成立 　 → 　 ０＊１＝０ 　 無効

　 全て挙げた上で
　 Ａ 　 成立、Ｂ不成立 　 → 　 １＊１＝１ 　 有効

　 などと、いちいち書かなくてはならないから、

　 定義、及び、式を示すのである。