Решить задачи + необходимые комментарии

1. Найти конъюнктивную и дизъюнктивную нормальные формы:
A v C v (A v B)&C
2. Методом резолюции выясните, истинно ли приведенное утверждение:
3. Запишите выражение в виде формулы логики предикатов:
Все D суть не B, но ни одно A не есть суть С, а некоторые B не есть C.
4. Записать предложения в виде соотношений формул логики предикатов. Методом дедуктивного вывода выяснить, будет ли заключение логическим следствием из посылок.
Некоторые C суть D. Все A суть D. Все B суть не C. Следовательно, все B есть A.
5. Построить машину Тьюринга для преобразования слова P в слово Q
P = cacab, Q = cacabcdc