С наступающим Новым годом! Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
ПростоЯ
184 / 101 / 8
Регистрация: 30.05.2009
Сообщений: 759
1

Проверьте правильность решения

11.04.2013, 16:39. Просмотров 341. Ответов 1
Метки нет (Все метки)

Необходимо было построить СДНФ, равносильную формуле:

http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{(xy\rightarrow \bar {y})(xy\rightarrow \bar {y})}
Ответ получается http://www.cyberforum.ru/cgi-bin/latex.cgi?xy
Правильно?
Или надо его надо оставить таким: http://www.cyberforum.ru/cgi-bin/latex.cgi?xy \vee xy
Или вообще решение не верное?
Делалось так:
http://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{(xy\rightarrow \bar {y})(xy\rightarrow \bar {y})}= \bar {(\bar {xy} \vee \bar {y})(\bar {xy} \vee \bar {y})}=\bar{(\bar{xy} \vee \bar {y})} \vee \bar{(\bar{xy} \vee \bar {y})}=(xy \wedge y) \vee (xy \wedge y)=xy \vee xy=xy
Поправьте, если не правильно, плз.
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
11.04.2013, 16:39
Ответы с готовыми решениями:

Проверьте, пожалуйста, правильность моего решения
Условие: 1) Построить на множестве M={a,b,c} бинарное отношение, являющееся...

Проверьте правильность умозаключений диаграммами Эйлера
Все машины дорогие Велосипед недорогой Велосипед – не машина

Проверьте правильность умозаключений на базе логики предикатов
у каждого ромба - диоганали перпендикулярны. у четырехугольника ABCD -...

Проверьте тремя способами правильность логического рассуждения
«Люди общаются тогда и только тогда, когда есть общие темы. У однокурсников...

Проверить правильность решения
Привет всем,проверьте пожалуйста правильность решения,если не сложно.Заранее...

1
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
11.04.2013, 20:20 2
xy, тут можно было до преобразований сразу опустить одни скобки - закон идемпотентности (aa = a, a v a = a).
1
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
11.04.2013, 20:20

Операции над множествами, кто соображает, проверьте, пожалуйста, правильность решений, особенно скобки и знаки
Множество: А={x/-2≤x<3}; B={x/0<x≤5}. 1.А∪В={x/-2≤x≤5}. 2.А∩В={x/0<x<3}....

Проверить правильность решения примеров
помогите проверить правильность решения примеров по темам определители. ОДУ,...

Прошу проверить правильность решения задач по теории принятия решений
Добрый день! Прошу проверить, правильно ли решены задания? Мой вариант...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru