Форум программистов, компьютерный форум, киберфорум
Наши страницы

Мат. логика и множества

Войти
Регистрация
Восстановить пароль
 
ulyanao
0 / 0 / 0
Регистрация: 30.11.2014
Сообщений: 2
#1

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

30.11.2014, 23:01. Просмотров 293. Ответов 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) т.е. как просуммировать n лог. переменных ? использовать...

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

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

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

Перевод логических функций в базисы и-не и или-не - Логика и множества
Помогите пожалуйста поэтапно перевести данные логические функции в базисы и-не, или-не F_{1}=x1 \vee ( x2 \wedge !x3 \wedge x1) \vee...

2
Alamira
148 / 146 / 36
Регистрация: 04.11.2014
Сообщений: 303
01.12.2014, 16:43 #2
Лучший ответ Сообщение было отмечено автором темы, экспертом или модератором как ответ
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) - Логика и множества
Здравствуйте,помогите пожалуйста решить задачу,ато непонятно как решать : Определите, сколько существует неэквивалентных друг другу...

Аналитическое представление Функций алгебры логики. - Логика и множества
Представить функции алгебры логики в аналитической форме. И даны две функции от четырех аргументов. Первая f(x1,x2,x3,x4) содержит наборы...

Доказать свойство булевых функций от n аргументов и полных систем функций - Логика и множества
Докажите, что среди булевых функций от n аргументов имеется ровно 2^(2^n-2)-2^(2^(n-1)-1) таких, каждая из которых образует полную...


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

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

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