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

Ответ

Автор - Dedagenn

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

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

Автор - HumphreyVanVeiden

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

Сервис носит ознакомительный характер, вся информация, а в частности вопросы и ответы, которые задают и отвечают пользователи.