0 / 0 / 0
Регистрация: 12.06.2011
Сообщений: 5
|
|
1 | |
равносильные преобразования12.06.2011, 19:49. Показов 4418. Ответов 4
Метки нет (Все метки)
Помогите пожалусто.
1) Найдите СДНФ и СКНФ данной формулы ¬(X^¬YvZ)↔(X→Y^¬Z) путем равносильных преобразований 2) Выясните, является ли функция самодвойственной: xyz+xy¬z+yz+xz 3)Проверьте, является ли функция монотонной: (X¬Y¬Z)v(¬XYZ)v(XY¬Z)v(XYZ)v(¬X¬YZ)
0
|
12.06.2011, 19:49 | |
Ответы с готовыми решениями:
4
Равносильные преобразования Равносильные преобразования Равносильные преобразования равносильные преобразования |
Змеюка одышечная
9864 / 4595 / 178
Регистрация: 04.01.2011
Сообщений: 8,556
|
|
12.06.2011, 20:24 | 2 |
для примеров 2) 3) вам нужно сначала составить таблицу истинности функций.
1) ¬(X^¬YvZ)↔(X→Y^¬Z)=[¬¬(X^¬YvZ)v(¬XvY^¬Z)]^[¬(¬XvY^¬Z)v¬(X^¬YvZ)]=(X^¬YvX^Zv¬X^¬ZvY^¬Z)^[(X^¬YvZ)v(¬XvY^¬Z)]=(X^¬YvX^Zv¬X^¬ZvY^¬Z)^(X^¬YvX^Zv¬X^¬ZvY^¬Z)=X^¬YvX^Zv¬X^¬ZvY^¬Z=X^¬Y^(Zv¬Z)vX^Z ^(Yv¬Y)v¬X^¬Z^(Yv¬Y)vY^¬Z^(Xv¬X)=X^¬Y^ZvX^¬Y^¬ZvX^Y^ZvX^¬Y^Zv¬X^Y^¬Zv¬X^¬Y^¬Zv¬X ^Y^¬Zv¬X^Y^¬Z=X^¬Y^ZvX^¬Y^¬ZvX^Y^Zv¬X^Y^¬Zv¬X^¬Y^¬Zv¬X^Y^¬Z
1
|
0 / 0 / 0
Регистрация: 12.06.2011
Сообщений: 5
|
|
13.06.2011, 16:28 [ТС] | 3 |
Спасибо.
Добавлено через 19 часов 3 минуты Нужна еще помощь, заранее спасибо. преобразовать ¬((¬X^¬Y^¬Z)+(¬X^¬Y^Z)+(¬Y^¬Z)+(¬X^¬Z)) , чтобы получилось (X^Y^Z)+(X^Y^¬Z)+(Y^Z+X^Z) с помощью равносильных преобразований
0
|
0 / 0 / 0
Регистрация: 12.06.2011
Сообщений: 5
|
|
13.06.2011, 18:24 [ТС] | 5 |
сложение по модулю два
0
|
13.06.2011, 18:24 | |
13.06.2011, 18:24 | |
Помогаю со студенческими работами здесь
5
Равносильные преобразования СДНФ Равносильные преобразования и метод резолюций равносильные преобразования/СДНФ СКНФ Равносильные преобразования СДНФ/СКНФ Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |