証明:邏輯

(a) (p⋁q)⋀r = (p⋀q)⋁(p⋀r) 因此原本的兩個命題不等價

(b) (~r⋁(p⋀q)) = (~r⋁p)⋀(~r⋁q)

((~r⋁(p⋀q))⋀(r⋁q))

= (~r⋁p)⋀(~r⋁q)⋀(r⋁q)

= (~r⋁p)⋀(q⋁(~r⋀r))

= (~r⋁p)⋀q

(r⋁p)⋀((~r⋁(p⋀q))⋀(r⋁q))

= (r⋁p)⋀(~r⋁p)⋀q

= p⋀q

因此原本的兩個命題等價