質問: 命題 分配法則 (¬p⋎q)⋀(¬q⋎p)を分配法則を用いて整理すると、 (¬p⋀¬q)v(q⋀¬q)v(¬p⋀p)v(q⋀p)になります。 分配法則は p⋀(q⋎r)と(p⋀q)⋎(p⋀r)は同値 p⋎(q⋀r)と(p⋎q)⋎(p⋎r)は同値です。 pを(¬p⋎q)に置き換えてみたがうまくいきません 解説お願いします。
回答: 質問箇所が分かりません. それに質問文に間違いがあります. (誤)p⋎(q⋀r)と(p⋎q)⋎(p⋎r)は同値です。 ↑ (正)p⋎(q⋀r)と(p⋎q)⋀(p⋎r)は同値です。 ついでに,論理式2行目は,(q⋀¬q)=(¬p⋀p)=false なので (¬p⋀¬q)v(q⋀¬q)v(¬p⋀p)v(q⋀p)=(¬p⋀¬q)v(q⋀p) と簡単化されます.