Question

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

Answer 1

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

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

Answer 2

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

Answer 3

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

Answer 4

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