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

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

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

Найти сокращенную, минимальную, тупиковую, КН форму F, если таковые имеются - Логика и множества

01.04.2016, 21:40. Просмотров 277. Ответов 4
Метки нет (Все метки)

Найдите КНФ F.
Явл ли F тавтологией?
Найдите сокращенную, минимальную, тупиковую, КН форму F, если таковые имеются.

http://www.cyberforum.ru/cgi-bin/latex.cgi?\left( avb\leftrightarrow !a \right)\rightarrow \left( a&b \leftrightarrow !b \right)

У меня получилось 1, но мне кажется я слишком увлеклась в преобразовании и упрощении.

Когда нужно было остановиться для КНФ?

Или 1 как раз говорит о том, что КНФ не существует?

Добавлено через 56 секунд
http://www.cyberforum.ru/cgi-bin/latex.cgi?F=\left( a\vee b\leftrightarrow \bar{a} \right)\rightarrow \left( a\wedge b \leftrightarrow \bar{b} \right)

Добавлено через 19 минут
http://www.cyberforum.ru/cgi-bin/latex.cgi?F=\left( a\vee b\leftrightarrow \bar{a} \right)\rightarrow \left( a\wedge b \leftrightarrow \bar{b} \right) =

http://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{((a\vee b)\wedge \bar{a}) \vee ((\bar{a\wedge b})\wedge a)}\vee ((a\wedge b)\wedge\bar{b})\vee ((\bar{a}\vee \bar{b})\wedge b)=

http://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(\bar{a}\wedge a) \vee (\bar{a}\wedge b) \vee (\bar{a}\wedge \bar{b}\wedge a})\vee (a\wedge b\wedge \bar{b}) \vee (\bar{a} \wedge b) \vee (\bar{b}\wedge b) =

http://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{\bar{a}\wedge b}\vee \bar{a}\wedge b =

http://www.cyberforum.ru/cgi-bin/latex.cgi?= a\vee \bar{b} \vee \bar{a} \vee b =

http://www.cyberforum.ru/cgi-bin/latex.cgi?=1\vee \bar{b}\wedge b = 1
0
Лучшие ответы (1)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
01.04.2016, 21:40
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Найти сокращенную, минимальную, тупиковую, КН форму F, если таковые имеются (Логика и множества):

Найти сокращенную и минимальную ДНФ - Логика и множества
Помогите пожалуйста решить!!! Найти сокращенную и минимальную ДНФ булевой функции f(x,y,z); f(0,0,1)=f(1,0,0)=f(1,1,0)=0 двумя способами...

Найти минимальную КНФ и сокращенную ДНФ - Логика и множества
Пропустил пару тем теперь вот каюсь, не знаю как решать, сможете помочь решить? Если что то не видно - пишите, постараюсь поправить

Составить СДНФ по значениям булевой функции, найти сокращенную и минимальную ДНФ - Логика и множества
Составить СДНФ по значениям булевой функции, найти сокращенную и минимальную ДНФ x1|x2|x3|f 0|0|0 |1 0|0|1 |1 0|1|0 |0 0|1|1 |0 ...

Построить минимальную сокращенную ДНФ c помощью карты Карно. - Логика и множества
Всем доброго времени суток, у меня следующая задача: Построить минимальную сокращенную ДНФ c помощью карты Карно для f_3^3= \wedge(2,3),...

Найти сокращенную ДНФ построить полином Жегалкина. - Логика и множества
Помогите, объясните как найти сокращенную ДНФ с помощью геометрического метода Карт Карно

Найти сокращенную, все тупиковые и минимальные днф булевой функции - Логика и множества
найти сокращенную все тупиковые и минимальные днф булевой функции двумя способами а) методом Квайна б) с помощью карт Карно ...

4
Mikl___
Автор FAQ
11329 / 5872 / 524
Регистрация: 11.11.2010
Сообщений: 10,913
02.04.2016, 05:23 #2
http://www.cyberforum.ru/cgi-bin/latex.cgi?F=((a+b)\leftrightarrow\bar{a})\to(ab\leftrightarrow\bar{b})=(a+b)\oplus\bar{a}+(ab+b)(\bar{ab}+\bar{b})=(a+b+\bar{a})(\bar{(a+b)}+a)+b(\bar{a}+\bar{b})=
http://www.cyberforum.ru/cgi-bin/latex.cgi?=1\cdot(\bar{a}\bar{b}+a)+\bar{a}b=\bar{a}(b+\bar{b})+a=\bar{a}+a=1
1
Al312
1 / 1 / 0
Регистрация: 01.01.2013
Сообщений: 13
02.04.2016, 12:05  [ТС] #3
Так ведь и у Вас тоже операции по упрощению пусть и более лаконичные.
0
Mikl___
Автор FAQ
11329 / 5872 / 524
Регистрация: 11.11.2010
Сообщений: 10,913
02.04.2016, 16:29 #4
Лучший ответ Сообщение было отмечено автором темы, экспертом или модератором как ответ
Al312,
не важно, я решил Вас перепроверить, в результате http://www.cyberforum.ru/cgi-bin/latex.cgi?F тавтология и искать сокращенную, минимальную, тупиковую, КН форму смысла нет
1
Al312
1 / 1 / 0
Регистрация: 01.01.2013
Сообщений: 13
02.04.2016, 17:02  [ТС] #5
Спасибо, еще раз перечитала теорему: формула f явл тавтологией тогда и только тогда, когда ее кнф в каждом дизъюнктивном одночлене какая-то переменная встречается вместе со своим отрицанием.
1
02.04.2016, 17:02
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
02.04.2016, 17:02
Привет! Вот еще темы с ответами:

найти точки пересечения (если таковые имеются) параболы(парабола любая) - Pascal
найти точки пересечения (если таковые имеются) параболы(парабола любая) с осями координат, вывести координаты точек.

Удалить из списка L все элементы Е, если таковые имеются - Turbo Pascal
Всем добрый день, пожалуйста, помогите с задачей, вообще не понятно: Дан список L, состоящий из записей: первое поле – вещественное...

Первый class Array. Проверить и указать на ошибки, если таковые имеются - C++
Доброго всем времени суток!Осмелюсь показать свой первый class Array.Код работает."заточен" он на программу.Большая просьба кому не трудно...

Проверьте правильность кода сетевого приложения и исправьте ошибки, если таковые имеются - C#
Доброго времени. В общем начал программировать на C# ровно 2 часа назад :) . Уровень моих знаний естественно равен нулю. Но тем не...


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

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

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