Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Vlad648
0 / 0 / 0
Регистрация: 22.11.2012
Сообщений: 7
1

Проверка решения

24.12.2012, 22:12. Просмотров 250. Ответов 0
Метки нет (Все метки)

Нужно упростить: (a=b)+(b^(c->a)) ^ отрицание эквивалентности, -> импликация. В ответе получилось не b+a, верно ли?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.12.2012, 22:12
Ответы с готовыми решениями:

Привести пример несовпадения аналитического решения и решения с помощью кругов Эйлера
привести пример несовпадения аналитического решения и решения с помощью кругов...

О единственности решения
Хотелось бы уточнить такой вопрос. Пусть необходимые условия дают одно...

порядок решения
У меня завтра к\р по мат. логике, вот хотел кое-что спросить ... Постоянно...

О единственности решения
Если необходимые и достаточные условия дают одно точное решение...

Производные и их решения
1)рассмотрим функцию f(x)=x2 * sin 1/x в проколотой окрестности точки x0 = 0....

0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
24.12.2012, 22:12

Пример решения
Помогите расписать пример. y=ax3+bx2+cx+d Заранее спасибо.

Область решения уравнения
Здравствуйте уважаемые участники форума. Прошу помочь решить следующую задачу....

Проверьте правильность решения
Необходимо было построить СДНФ, равносильную формуле: \bar{(xy\rightarrow...


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

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

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