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

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