Помогите решить задание по мат логике(то что отмечено желтым)

Question

Помогите решить задание по мат логике(то что отмечено желтым)

---

Answer 1

(отрицание знаком "!", кон "•")

=(РvQ)v((!PvQ)•P)= PvQv(!P•P)v Q•P=PvQvPQ

Comments

А почему дальше не упрощаете? Можно ведь ещё дистрибутивный закон применить.

---

Да, =Р+Q(1+P)=P+Q... Редактор у меня не работает, когда спохватился, не дает дополнить ответ

Answer 2

 ¬(¬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