01.02.2008, 02:06
общий
это ответ
Здравствуйте, skynet!
∨ ¬ → ∧
Что было понятно, распишем действия по скобкам
а → b = ¬а ∨ b
¬(¬а ∨ b) = а ∧ ¬b (применили закон де моргана)
а∧c → а ∧ ¬b = ¬(а∧c) ∨ а∧¬b = ¬а ∨ ¬c ∨ а∧¬b
далее используем тождество х ∨ ¬х∧у = х ∨ у, где в качестве х выступает ¬а, в качестве у ¬b и получаем
¬а ∨ ¬c ∨ ¬b
Ну а ¬(¬а ∨ ¬c ∨ ¬b) = a∧b∧c (закон де моргана)