Форум программистов, компьютерный форум, киберфорум
Информатика
Войти
Регистрация
Восстановить пароль
 
Рейтинг 5.00/6: Рейтинг темы: голосов - 6, средняя оценка - 5.00
0 / 0 / 2
Регистрация: 14.10.2018
Сообщений: 24
1

Построить СКНФ только с использованием элементарных логических преобразований

18.11.2019, 10:25. Просмотров 1082. Ответов 3
Метки нет (Все метки)

Не понимаю как построить СКНФ функции a*b+c. Не понимаю с чего начать и как далее упрощать.
0
Лучшие ответы (1)
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
18.11.2019, 10:25
Ответы с готовыми решениями:

СДНФ или СКНФ с использованием эквивалентных преобразований
Здравствуйте, помогите пожалуйтся справиться со следующим заданием: Привести следующие формулы к...

Найти ранг матрицы методом элементарных преобразований
Найти ранг матрицы методом элементарных преобразований(привести к виду содерж. только 0 и 1) ...

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

СКНФ методом преобразований
Помогите пожалуйста найти СКНф методом преобразований исходное выражение \bar{y \vee (x \sim z)(x...

3
Ушел с форума
Автор FAQ
13874 / 6912 / 782
Регистрация: 11.11.2010
Сообщений: 12,441
18.11.2019, 14:19 2
Лучший ответ Сообщение было отмечено Daniil_123 как решение

Решение

Получить СДНФ просто https://www.cyberforum.ru/cgi-bin/latex.cgi?a\cdot b+c=ab(c+\bar{c})+c(a+\bar{a})(b+\bar{b})=abc+ab\bar{c}+(ac+\bar{a}c)(b+\bar{b})=abc+ab\bar{c}+\bar{a}bc+a\bar{b}c+\bar{a}\bar{b}c
получить СКНФ сложнее. https://www.cyberforum.ru/cgi-bin/latex.cgi?f=abc+ab\bar{c}+\bar{a}bc+a\bar{b}c+\bar{a}\bar{b}c отрицание функции https://www.cyberforum.ru/cgi-bin/latex.cgi?f получим выписыванием недостающих конституент https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{f}=\bar{a}\bar{b}\bar{c}+\bar{a}b\bar{c}+a\bar{b}\bar{c} а теперь применим отрицание к https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{f} тогда https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{f}}=\bar{\bar{a}\bar{b}\bar{c}+\bar{a}b\bar{c}+a\bar{b}\bar{c}}=\bar{(\bar{a}\bar{b}\bar{c})}\bar{(\bar{a}b\bar{c})}\bar{(a\bar{b}\bar{c})}=(\bar{\bar{a}}+\bar{\bar{b}}+\bar{\bar{c}})(\bar{\bar{a}}+\bar{b}+\bar{\bar{c}})(\bar{a}+\bar{\bar{b}}+\bar{\bar{c}})=(a+b+c)(a+\bar{b}+c)(\bar{a}+b+c)
0
0 / 0 / 2
Регистрация: 14.10.2018
Сообщений: 24
19.11.2019, 09:08  [ТС] 3
Mikl___, Спасибо большое! Вроде разобрался, но только одно не понял, как вы самое первое преобразование получили?
0
Миниатюры
Построить СКНФ только с использованием элементарных логических преобразований  
Ушел с форума
Автор FAQ
13874 / 6912 / 782
Регистрация: 11.11.2010
Сообщений: 12,441
19.11.2019, 15:35 4
Daniil_123,
в СДНФ, по определению, каждая конституента должна содержать все буквы набора. Смотрим внимательно https://www.cyberforum.ru/cgi-bin/latex.cgi?a\cdot b+c в первом слагаемом буквы https://www.cyberforum.ru/cgi-bin/latex.cgi?a и https://www.cyberforum.ru/cgi-bin/latex.cgi?b есть, а https://www.cyberforum.ru/cgi-bin/latex.cgi?c нет, домножаем на https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{c}+c=1, во втором слагаемом буква https://www.cyberforum.ru/cgi-bin/latex.cgi?c есть, а https://www.cyberforum.ru/cgi-bin/latex.cgi?a и https://www.cyberforum.ru/cgi-bin/latex.cgi?b нет, домножаем на https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{a}+a=1 и https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{b}+b=1
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
19.11.2019, 15:35

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

СКНФ и СДНФ путем тождественных преобразований
Дано задание: "Найти СКНФ И СДНФ 2-мя разными способами: x^(x->y)" С помощью...

Найти СКНФ и СДНФ путем тождественных преобразований
(\bar{Y}\vee Z)\wedge (ZX\vee Y)

Методом равносильных преобразований привести к СДНФ и СКНФ
! - отрицание. !x1 \rightarrow (x2 \sim x3) Сначала нужно упростить же? !x1\rightarrow...

Найти скнф и сднф способом равносильных преобразований
никак не получается сделать.пробовал находить кнф и днф,а дальше тупик \bar{x}\wedge...


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

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

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