質問: 命題2 (¬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)(q+p)=pq+qq+pp+qp になることは理解できますか?