Искусственный интеллект

-. V х а{х) з р (F(x)) v y(x, F(x)). Распределение конъюнкций относительно дизъюнкций. Это распределение осуществляется на основе использования дистрибутивного закона (алР) vy = (avy) л (Р vy). Перемещение скобок к концу и началу. На этом шаге формулы со скобками типа (a v p) v у или (а л р) л у приводятся соответственно к виду (a v p v у) или (а л р л у). После этого шага исходная формула преобразуется в нормальную конъюнктивную форму, являющуюся конъюнкцией дизъюнкций литералов. Каждая дизъюнкция литералов является клаузой. Вопросы и упражнения 1. Для каждой из следующих пар атомов приведите наиболее общую подстановку: а) a(C, D, G), а(х, Д г); б) РСИ, F(A, В)). PC, F(x, г)); в) x(F{x), у), X(F(x), Q; г) 6 (F(x), х, х), S(F(y), у, у); д) e(F(G(x, у), H(z)), e(F(G(x, В), Н(у)).