несколько вопросов по логике

[ADRenaLIN]

решаю задачу "проверить выводимость с помощью метода резолюций"
составила множество дизъюнктов: $not A \vee B$, $not D \vee C$, $not B \vee D$, $not A$, $C$. (ЗЫ: не знаю как правильно пишутся здесь формулы логики)
как применить правило резолюций не знаю... есть только одна мысль...
применим правило резолюций к $not D \vee C$ и $not B \vee D$, получим $not B \vee C$. не знаю правильно ли так делать

-- Пн июн 14, 2010 16:30:58 --

еще не получается разбить формулу $A and not C \vee not B$

[arseniiv]

(Оффтоп)

Замените not на \neg $\neg$, and на \wedge $\wedge$.