Мат.логика (исправить и дорешать 2 задания)

Красным цветом это пометки преподавателя. Нужно сделать то, что она просит и проверить ещё раз, решено ли верно.

Только задания 2 и 4.

И то, что Вы напишите, выделить иным цветом ( зеленый, желтый, синий и.т.д), чтобы было видно, что доделывалось.