加算合成メモ - henjin1goの日記

PAP上の加算合成は、つまるところは

$(a\cdot b)||(c\cdot d)$ で表せる対象に、 $b\cdot c$ という順序依存性を
インポーズするということ。

対象式を展開すると

$(a\cdot b)|l|(c\cdot d) + (c\cdot d)|l|(a\cdot b)+(a\cdot b)|(c\cdot d)$ ・・ M1
$a\cdot(b||(c\cdot d))+c\cdot(d||(a\cdot b)) + (a\cdot b)|(c\cdot d)$ 　・・LM3
$a\cdot(b\cdot c\cdot d + c\cdot d\cdot b +(b|(c\cdot d))) +c\cdot(d\cdot a\cdot b + a\cdot b\cdot d + (d|(a\cdot b))) + (a\cdot b)|(c\cdot d)$ ・・ M1

ここで、bとcの順序依存性を考慮して矛盾項を消去すると。

$a\cdot(b\cdot c\cdot d )$ 　のみが残るという計算をしますということ

たったそれだけ。？。？。？がっかり