кр мат логика

здравствуйте! хотел бы вас попросить переделать мою КР по мат логике. Я сначала попытался сделать сам, но преподаватель забраковал моё решение. Теперь хотелось бы, чтобы это выглядело, как работа над ошибками, а не как абсолютно новое решение.

вот такая рецензия от преподавателя:

В задаче №3 ответ не верный см. стр.125 учебного пособия В.М. Зюзькова Математическая логика и теория алгоритмов. В задаче №4 ответ не верный, должно быть две переменные, чтобы они могли уважать друг друга. Себе подобные могут быть подобны по нескольким признакам, а в условиях задачи сказано друг друга. В задаче №5 ответ не верный. В задаче №8 ответ не верный, читайте внимательно задание._

в итоге, если я все правильно понял, то требуют решения задачи № 3,4,5 и 8