2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Привести формулы к ДНФ и КНФ
Сообщение14.11.2014, 20:38 
Добрый день. Помогите, пожалуйста, разобраться в задаче:
Привести формулы к ДНФ и КНФ при помощи равносильных преобразований:
$  (A  \cdot B \Rightarrow C) \Rightarrow ( \neg B \Leftrightarrow C)      $
1. Выражаю все логические операции в формуле через дизъюнкцию, конъюнкцию
$ ( \overline{A \wedge B } \vee C) \Rightarrow( \bar{B} \wedge C) \vee(B \bar{C})=
 \overline{( \overline{A \wedge B } \vee C) } \vee ( \bar{B} \wedge C) \vee(B \bar{C})        $
Применяю закон Де-Моргана:
$A \wedge B \wedge \bar{C}  \vee  \bar{B  } \wedge C \vee B \wedge \bar{C}     $ или $AB \bar{C}  \vee \bar{B}C \vee B \bar{C}     $ - это ДНф
Вроде бы все правильно, а вот как перейти к КНФ не могу сообразить

 
 
 
 Re: Привести формулы к ДНФ и КНФ
Сообщение14.11.2014, 21:05 
Аватара пользователя
Используйте несколько раз второй закон дистрибутивности.

 
 
 
 Re: Привести формулы к ДНФ и КНФ
Сообщение14.11.2014, 22:38 
Спасибо

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group