のときに成り立つとして のときに成り立つことを証明していきます。 のときに証明図を書くことができると仮定します。 のときの PLP の正規化された論理式 は という形になります。上についた は変数を何回か置き換えたものであることを表しています。 は の…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。