充足可能性保存変換

以前見つけていたのに、今回探すのにめちゃ苦労したので残しておく

定数代入

$ N\leftrightarrow\bot

$ \Leftrightarrow \overline N

$ \Leftrightarrow (\bot+\overline N+\bot)

$ N\leftrightarrow\top

$ \Leftrightarrow N

$ \Leftrightarrow(\bot+N+\bot)

1 項演算子

$ N\leftrightarrow\overline x

$ \Leftrightarrow (N+x)(\overline N+\overline x)

$ N\leftrightarrow x

$ \Leftrightarrow (N+\overline x)(\overline N+x)

2 項演算子

$ N\leftrightarrow x\cdot y

$ \Leftrightarrow (N\to x\cdot y)(x\cdot y\to N)

$ \Leftrightarrow(\overline N+x\cdot y)(\overline x+\overline y+N)

$ \Leftrightarrow(\overline N+x)(\overline N+y)(\overline x+\overline y+N)

$ \Leftrightarrow(\overline N+x)(\overline N+y)(\overline x+\overline y+N)

$ N\leftrightarrow x+y

$ \Leftrightarrow(N\to(x+y))((x+y)\to N)

$ \Leftrightarrow(\overline N+x+y)(\overline x\cdot\overline y+N)

$ \Leftrightarrow(\overline N+x+y)(\overline x+N)(\overline y+N)

$ \Leftrightarrow(\overline N+x+y)(\overline x+N)(\overline y+N)