命題変数をP,Q,Rとする論理式 R ∧P←→R ∧Qの主乗法標準形を教えてください

命題変数をP,Q,Rとする論理式　R ∧P←→R ∧Qの主乗法標準形を教えてください

No.2 ベストアンサー 回答者： ありものがたり 回答日時： 2020/06/30 22:05

主乗法標準形の定義↓

https://qiita.com/potyamaaaa/items/5e0f67c653633 …
「主乗法標準形」って言うんですねえ。つい、和積標準形って言っちゃうけど。

X⇔Y を ∧ と ∨ を使って書くと、 (X∧Y)∨(¬X∧¬Y) でしょ？
あとは、∧ を足し算、∨ を掛け算(通常とは逆！)と思って多項式を展開します。
ブール代数は、∧ と ∨ が双対ですからね。

それだけだと、最大項でない項が出てきますから、最後に
A = A∨(B∧¬B) = (A∨B)∧(A∨¬B) を使って
項に足りない変数を付け加えてやればいいでしょう。
さあ、実際にやってみて、計算過程を補足へどうぞ。

No.1 回答者： Tacosan 回答日時： 2020/06/30 18:42

何に困っている?