SOLUTION: how to expand (pvq)^(p^q)

Algebra.Com
Question 506799: how to expand (pvq)^(p^q)
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
(pvq)^[p^q]

(pvq)^[q^p]         commutative 

    [(pvq)^q]^p     associative    

[(pvq)v(q^q)]^p     distributive  

    [(pvq)vq]^p     idempotent

[(p^q)^p]v(q^p)     distributive

[(q^p)^p]v(q^p)     commutative

[q^(p^p)]v(q^p)     associative

    [q^p]v(q^p)     idempotent

       q^p          idempotent

Edwin
RELATED QUESTIONS

problem 1f: -(PvQ) -||-... (answered by vleith)
Show that if(~Pv~Q)then (~P&~Q) is equivalent to if (PvQ) then... (answered by Edwin McCravy)
are they logically equivalent ~pVq;... (answered by math_helper)
How do you write a truth table for the statement form... (answered by Theo)
I know that these two conjuncts are equivelant, but I do not know how to solve/show this! (answered by jim_thompson5910)
1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, (answered by jim_thompson5910)
PvQ (QvU)>(P>T) ~P (~PvR)>(Q>S) Therefore,... (answered by jim_thompson5910)
(PvQ)&R (R&P)>S (Q&R)>S Therefore,... (answered by solver91311,Edwin McCravy,robertb)
1.(pVq)^[~(pVq)] 2.~(p➡(q➡(p^q))) 3.((~p)Vq)➡(p➡q) 4.((~q)➡(~p))➡(p➡q) (answered by Edwin McCravy)