Matematyka.pl

Uprościć formułę:
\(\displaystyle{ (p q) (p q)}\)
Dochodzę do:
\(\displaystyle{ (p q) ( p q)}\)
Nie za daleko :p Co dalej?

A dalej z praw rozdzielności...
\(\displaystyle{ \ldots\ \iff\ \big((p\wedge q)\vee p\big)\wedge\big((p\wedge q)\vee q\big)\\ \qquad\ \iff\ \big((p\vee p)\wedge(q\vee\neg p)\big)\wedge\big((p\vee q)\wedge(q\vee\neg q)\big)\\ \ \qquad\ \iff\ ( q\vee p)\wedge(p\vee q)\\ \qquad\ \iff\ ( p\Rightarrow q)\wedge(p\Leftarrow q)\\ \qquad\ \iff\ \big( p\iff q\big)}\)

Rzeczywiście, wcześniej rozrysowywałem to tabelką i wyszła mi równoważość tylko nie wiedziałem jak do niej dotrzeć. Dzięki wielkie.