Построить Автомат и задачи по логике предикатов

1. Построить автомат, распознающий слова в алфавите {a, b, c} согласно условию. Привести диаграмму Мура. Перейти от автомата Мура к автомату Мили. Минимизировать автомат.

все слова, не содержащие ни одного символа «а»

2. Логика предикатов (см. скриншот)

Некоторые стихи –письма. Некоторые не любят читать никаких учебников. Профессор Джонс –поэт.

3.Доказать или опровергнуть следующие утверждения, используя метод резолюций

Область определения: дни. 1. Я не называю день «несчастливым», если Робинсон вежлив со мной. 2. Среды всегда бывают пасмурными днями. 3. Если люди берут с собой зонты, день никогда не бывает солнечным. 4. Единственный день недели, когда Робинсон невежлив со мной, - среда. 5. Всякий возьмет с собой зонт, если идет дождь. 6. Мои «счастливые» дни неизменно оказываются солнечными. Следовательно, дождливые дни пасмурны.