(отрицание знаком "!", кон "•")
=(РvQ)v((!PvQ)•P)= PvQv(!P•P)v Q•P=PvQvPQ
¬(¬p/\ ¬q)\/((p->q)/\p)=(p\/q)\/((¬p\/q)/\p=(p\/q)\/(¬p/\p)\/q/\p=(p\/q)\/(q/\p)=p\/q(1\/p)=p\/q
(отрицание знаком "!", кон "•")
=(РvQ)v((!PvQ)•P)= PvQv(!P•P)v Q•P=PvQvPQ
¬(¬p/\ ¬q)\/((p->q)/\p)=(p\/q)\/((¬p\/q)/\p=(p\/q)\/(¬p/\p)\/q/\p=(p\/q)\/(q/\p)=p\/q(1\/p)=p\/q