Rozpisanie logiczne Mauterzimmer: ((p⋀r)⋁(q⋀r)v(p⋀s)v(q⋀s)) ⋀ (t v ¬p) <=>... Jak to rozpisać?

ite: 1/ dla formuł: (p∧r)v(q∧r) oraz (p∧s)v(q∧s) zastosuj prawo rozdzielności koniunkcji względem alternatywy https://www.matemaks.pl/prawo-rozdzielnosci-koniunkcji-wzgledem-alternatywy.html , 2/ następnie dla otrzymanej formuły zastosuj je ponownie