Czy dane wyrażenia są prawami logicznymi - metoda zero, jedynkowa. [((pvq)=>r)^(p^q)]=>r [~(p<=>q)]<=>[((~p)vq)^((~q)vp)]

Czy dane wyrażenia są prawami logicznymi - metoda zero, jedynkowa. [((pvq)=>r)^(p^q)]=>r [~(p<=>q)]<=>[((~p)vq)^((~q)vp)]