Я работаю над упражнением, в котором мне нужно показать, что KB |= ~D . И я знаю, что База Знаний это: - (B v ¬C) => ¬A - (¬A v D) => B - A ∧ C После преобразования в CNF: A ∧ C ∧ (¬A v ¬B) ∧ (¬A v C) ∧ (A v B) ∧ (B v ¬D)...