Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.80/5: Рейтинг темы: голосов - 5, средняя оценка - 4.80
ulyanao
0 / 0 / 0
Регистрация: 30.11.2014
Сообщений: 2
#1

Математическое представление логических функций

30.11.2014, 23:01. Просмотров 813. Ответов 2
Метки нет (Все метки)

Добрый день, дорогие коллеги!
Столкнулась с задачей, решение которой никак не приходит в голову.
Суть: Есть логическое выражение:
(m1 and m2) or (m3 and m4) is true
Необходимо представить это выражение в алгебраической форме с некоторыми ограничениями:
- нельзя использовать умножение(т.е. запись m1*m2+m3*m4>=1 не подходит)
- нельзя использовать какие-либо другие логические операции (if - then, not, elseif и т.д.)
Использовать можно:
- сложение, вычитание
- вводить, заменять новыми переменными
- использовать запись в виде системы уравнений, неравенств
Буду очень признательна за Ваши идеи!
0
Лучшие ответы (1)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
30.11.2014, 23:01
Ответы с готовыми решениями:

минимизация логических функций
Помогите минимизировать две логические функции. Распишите, буду очень...

репликативность логических функций
как понять репликативна ли лог функция ? (результатом которой является 0 или 1)...

Проверить тождественность логических функций X и Y
Здравствуйте. Помогите, пожалуйста, с данным заданием. Нужно проверить...

Проверить тождественность логических функций X и Y
X=^(^f1+^f2*f3)*^(f1*^f2+f2*f3)*(^f1*^f2+f1*f3)...

Минимизация логических функций методом Квайна
Функция задана в СКНФ: f(x_1 x_2 x_3 x_4 )=(\bar{x_1} \vee \bar{x_2} \vee...

2
Alamira
148 / 146 / 36
Регистрация: 04.11.2014
Сообщений: 303
01.12.2014, 16:43 #2
Лучший ответ Сообщение было отмечено ulyanao как решение

Решение

ulyanao, а если попробовать вот так:http://www.cyberforum.ru/cgi-bin/latex.cgi?{m}_{1}+{m}_{2}+{m}_{3}+{m}_{4}+\left| {m}_{1}+{m}_{2}-{m}_{3}-{m}_{4}\right|=4
2
ulyanao
0 / 0 / 0
Регистрация: 30.11.2014
Сообщений: 2
02.12.2014, 09:35  [ТС] #3
Alamira, чудесное решение! Как Вы замечательно с модулем придумали! А я то про него совсем забыла! Спасибо Вам большое!
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
02.12.2014, 09:35

Преобразование логических функций в булевоом базисе
Вот с этим заданием вообще большие проблемы, в моей группе в институте никто не...

Перевод логических функций в базисы и-не и или-не
Помогите пожалуйста поэтапно перевести данные логические функции в базисы и-не,...

Сколько существует неэквивалентных друг другу логических функций четырех переменных F(A,B,C,D)
Здравствуйте,помогите пожалуйста решить задачу,ато непонятно как решать :...


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

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

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