Logika zdań prawo rozdzielności student: Proszę o pomoc jak zastosować w tym przypadku prawo rozdzielności koniunkcji względem alternatywy [(p⋀q) ⋁ (p⋀~q)] Jak to po kolei się rozpisać?

Qulka: ⇔ [(p⋀q)⋁p] ⋀ [(p⋀q)⋁~q] ⇔ (p⋁p) ⋀ (p⋁q) ⋀ (p⋁~q) ⋀ (q⋁~q)