4.2.2. СЛОЖНЫЕ ПОСЫЛКИ

Пусть — некоторое высказывание, представляющее собой конъюнкцию двух более элементарных высказываний . В предположении, что переменные, фигурирующие в высказываниях соответственно, различны и не взаимодействуют друг с другом, можно записать, используя формулу (4.21),

Кроме того, всегда имеем

Анашничные результаты получаются при использовании формул (4.23), (4.24), если дизъюнкция двух высказываний. Заметим, что формулы, аналогичные формулам (4.48) и (4.49), применяются эмпирически и без предварительного обоснования в экспертной системе MYCIN. В случае взаимодействующих переменных формула (4.48) несправедлива, и необходимо в явном виде учитывать это взаимодействие в проводимых вычислениях.