Представление и обработка знаний

71 Доказать, что в городе A 1 праздник тогда и только тогда, ко- гда нет праздника в городе B 1. Таблица 3.11 № п/п Описание алгоритма 1 Занести в массив A исходные дизъюнкты из множества S ; 2 Найти первую пару дизъюнктов, имеющих контрарную пару, и их резольвенту; 3 Если пара дизъюнктов не найдена, тогда: 3.1 Прервать вывод; 4 Пока нет вывода пустого дизъюнкта и нет прерывания вывода: 4.1 Занести резольвенту (новый дизъюнкт) в массив A ; 4.2 Найти следующую пару дизъюнктов, имеющих контрарную пару и их резольвенту 4.3 Если пара дизъюнктов не найдена: 4.3.1 Прервать вывод; 5 Если произошло прерывание вывода, тогда: 5.1 Сформировать сообщение о неуспешном выводе; 6. Если не произошло прерывания логического вывода, тогда: 6.1 Сформировать сообщение об успешном выводе; После формализации получен список правил и дизъюнктов (табл. 3.12). Таблица 3.12 Исходные высказывания Дизъюнкты 1. A  A 1  A  A 1 2. B  B 1  B  B 1 3. A  B A  B 4. A   B 1  A   B 1 5. B   A 1  B   A 1 Доказать что A 1   B 1 Найдем отрицание целевого высказывания и получим дизъюнкты 6 и 7:  ( A 1   B 1) = (  A 1  B 1)& &( A 1   B 1). Поставим задачу логического вывода. Дано множество ди- зъюнктов: S = {  A  A 1 (1),  B  B 1 (2), A  B (3),  A   B 1 (4),  B   A 1 (5),  A 1  B 1 (6), A 1   B 1 (7)} .