Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.88/8: Рейтинг темы: голосов - 8, средняя оценка - 4.88
Matwei
176 / 157 / 12
Регистрация: 03.11.2012
Сообщений: 1,112
1

Доказать, используя эквивалентные преобразования

09.02.2013, 13:15. Просмотров 1547. Ответов 3
Метки нет (Все метки)

Здравствуйте.
Кто подскажет решение ?

Доказать с помощью эквивалентных преобразований равносильность:
0
Изображения
 
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
09.02.2013, 13:15
Ответы с готовыми решениями:

Через эквивалентные преобразования доказать,что формула является противоречием
С помощью эквивалентных преобразований доказать,что формула является...

Эквивалентные преобразования
Я что то совсем запутался. Помогите кто может как найти эквивалентные...

Эквивалентные преобразования
Доказать с помощью эквивалентных преобразований равносильность. Подскажите с...

Эквивалентные преобразования
Доказать с помощью эквивалентных преобразований равносильность a \sim b=a...

Эквивалентные преобразования формул
1. Найти формулу, эквивалентную данной, имеющий m логических операций. 2. С...

3
Matwei
176 / 157 / 12
Регистрация: 03.11.2012
Сообщений: 1,112
09.02.2013, 16:07  [ТС] 2
Что это вообще за "эквивалентные преобразования" ?
0
norin
18 / 16 / 0
Регистрация: 10.03.2011
Сообщений: 52
09.02.2013, 21:14 3
Цитата Сообщение от Matwei Посмотреть сообщение
Что это вообще за "эквивалентные преобразования" ?
Грубо говоря это когда заменяешь часть формулы на эквивалентное (равное) выражение.
Может что из этого пригодится:
http://www.cyberforum.ru/cgi-bin/latex.cgi?<br />
\overline{x_1 \vee x_2} = \bar x_1 \& \bar x_2<br />
<br />
\overline{x_1 \& x_2} = \bar x_1 \vee \bar x_2<br />
<br />
x \sim 0 = \bar x<br />
<br />
x \oplus 1 = \bar x<br />
<br />
x_1 \oplus x_2 = x_1 \bar x_2 \vee \bar x_1 x_2<br />
<br />
x_1 \sim x_2 = x_1 x_2 \vee \bar x_1 \bar x_2<br />
Это выражение проще доказать через таблицу истинности. К тому же список привил которые можно использовать неизвестен.
0
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
10.02.2013, 13:03 4
Если с помощью эквивалентных преобразование, тогда лучше приводить оба выражения к СДНФ(СКНФ).
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
10.02.2013, 13:03

эквивалентные преобразования формул
СДНФ обоих формул сделал x|(y-&gt;z) и (x|y)-&gt;(x|z) столкнулся с проблемой...

Задания на эквивалентные преобразования логических формул
Нужно для зачета. помогите пожалуйста. срочно

Доказать равносильность. Преобразования
Всем с пряником!. Буду признателен за помощь. Доказать равносильность следующих...


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

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

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