Задание
1) Логическая задача (решить с высказываний или таблицы истинности) На одной улице стоят в ряд 4 дома, в которых живут 4 человека: Алексей, Егор, Виктор и Михаил. Известно, что каждый из них владеет ровно одной из следующих профессий: Токарь, Столяр, Хирург и Окулист, но неизвестно, кто какой и неизвестно, кто в каком доме живет.
Однако, известно, что: (1) Столяр живет левее Токаря (2) Токарь живет рядом с Хирургом и Окулистом (3) Хирург живет с краю (4) Окулист живет рядом со Столяром (5) Алексей живет рядом с Окулистом (6) Егор не живет рядом с Алексеем (7) Егор живет рядом с Виктором и Михаилом (8) Виктор живет рядом со Столяром Выясните, кто какой профессии, и кто где живет?
2) Провести доказательство с метода резолюции A1. Фирма Widco поставляет отвертки А2. Фирма Bronco - шурупы АЗ. Фирма Elco - набор инструментов A4. Если существует фирма, которая поставляет набор инструментов, то она поставляет и шурупы.
B. Кто поставляет шурупы?
3) Нормальный алгоритм Маркова A=[a,b,c]. В непустом слове Р оставить только последний символ.