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

Следующие формулы преобразовать к требуемому виду невозможно. Оставим их в прежнем виде, исключив квантор существования: находится (Чудовище, i, у) з находится (Зловоние, i, у) v v находится (Зловоние, i, j-\) v находится (Зловоние, i, j) v v находится (Зловоние, i, y + 1) v находится (Зловоние, i-\, j) находится (Зловоние, i+\, j); (4.17)* находится (Зловоние, i, j) r> находится (Чудовище, i, j) v v находится (Чудовище, i, j-l) v находится (Чудовище, i, y+1) v v находится (Чудовище, i-\, j) v находится (Чудовище, i + \, j); (4.18)* находится (Сквозняк, i, j) r> находится (Яма, i, j-l) v