СКНФ путём равносильных преобразований

@iDens01 · Регистрация: 18.12.2019

Author24 — интернет-сервис помощи студентам

СДНФ у меня получилось найти довольно просто, а как СКНФ находить, понять не могу.

@Mikl___ · 18.12.2019, 10:37

iDens01,
СДНФ: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{(x+z)}(x\to y)=\bar{x}\cdot\bar{z}(\bar{x}+y)=\bar{x}\bar{z}\bar{x}+\bar{x}y\bar{z}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}\bar{z}+\bar{x}y\bar{z}=\bar{x}\bar{z}(1+y)=\bar{x}\bar{z}=\bar{x}\bar{z}(y+\bar{y})=\bar{x}y\bar{z}+\bar{x}\bar{y}\bar{z}$

@iDens01 · 18.12.2019, 10:47 **[ТС]**

СДНФ такой же у меня вышел, кстати. Но мне СКНФ нужен.

@Mikl___ · 18.12.2019, 10:53

СКНФ: $https://www.cyberforum.ru/cgi-bin/latex.cgi?r=\bar{x}\bar{y}z+\bar{x}yz+x\bar{y}\bar{z}+x\bar{y}z+xy\bar{z}+xyz$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{r}=\bar{\bar{x}\bar{y}z+\bar{x}yz+x\bar{y}\bar{z}+x\bar{y}z+xy\bar{z}+xyz}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{\bar{x}\bar{y}z}\cdot\bar{\bar{x}yz}\cdot\bar{x\bar{y}\bar{z}}\cdot\bar{x\bar{y}z}\cdot\bar{xy\bar{z}}\cdot\bar{xyz}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(x+y+\bar{z})\cdot(x+\bar{y}+\bar{z})\cdot(\bar{x}+y+z)\cdot(\bar{x}+y\bar{z})\cdot(\bar{x}+\bar{y}+z)\cdot(\bar{x}+\bar{y}+\bar{z})$
СКНФ считается при наличии СДНФ'а ты мне просто не дал дописать

@iDens01 · 18.12.2019, 11:00 **[ТС]**

От души! По таблице истинности такой же результат

@iDens01 · 18.12.2019, 21:27 **[ТС]**

Правда, я не понял откуда появилось значение r

@Mikl___ · 19.12.2019, 11:51

iDens01,
у тебя три переменных $https://www.cyberforum.ru/cgi-bin/latex.cgi?x$ , $https://www.cyberforum.ru/cgi-bin/latex.cgi?y$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?z$ , 2³=8 значит в СДНФ может быть от 0 до 8 произведений. В твоем случае СДНФ это сумма двух произведений ( $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{y}\bar{z}+\bar{x}y\bar{z}$ (000, 010)), значит остальные ( $https://www.cyberforum.ru/cgi-bin/latex.cgi?8 - 2=6$ ) произведения (001, 011, 100, 101, 110, 111) будут использованы для получения СКНФ, назовем сумму этих произведений $https://www.cyberforum.ru/cgi-bin/latex.cgi?r$ , остальное ты уже видел...

Новые блоги и статьи Все статьи Все блоги /
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering Hrethgir 02.04.2025 Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .	На любовном киберфронте Alexander-7 01.04.2025 Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .	Как работает Node.js изнутри run.dev 29.03.2025 Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .	Моки в Python: Mock Object Library py-thonny 29.03.2025 Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .	JavaScript: Управление памятью и улучшение производительности run.dev 29.03.2025 В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .

@iDens01 0 / 0 / 0 Регистрация: 18.12.2019 Сообщений: 7

	СКНФ путём равносильных преобразований 18.12.2019, 10:30. Показов 4774. Ответов 6 Метки нет (Все метки) СДНФ у меня получилось найти довольно просто, а как СКНФ находить, понять не могу. 0

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	18.12.2019, 10:37
	iDens01, СДНФ: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{(x+z)}(x\to y)=\bar{x}\cdot\bar{z}(\bar{x}+y)=\bar{x}\bar{z}\bar{x}+\bar{x}y\bar{z}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}\bar{z}+\bar{x}y\bar{z}=\bar{x}\bar{z}(1+y)=\bar{x}\bar{z}=\bar{x}\bar{z}(y+\bar{y})=\bar{x}y\bar{z}+\bar{x}\bar{y}\bar{z}$ 0

@iDens01 0 / 0 / 0 Регистрация: 18.12.2019 Сообщений: 7
	18.12.2019, 10:47 [ТС]
	СДНФ такой же у меня вышел, кстати. Но мне СКНФ нужен. 0

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	18.12.2019, 10:53
	Сообщение было отмечено iDens01 как решение Решение СКНФ: $https://www.cyberforum.ru/cgi-bin/latex.cgi?r=\bar{x}\bar{y}z+\bar{x}yz+x\bar{y}\bar{z}+x\bar{y}z+xy\bar{z}+xyz$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{r}=\bar{\bar{x}\bar{y}z+\bar{x}yz+x\bar{y}\bar{z}+x\bar{y}z+xy\bar{z}+xyz}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{\bar{x}\bar{y}z}\cdot\bar{\bar{x}yz}\cdot\bar{x\bar{y}\bar{z}}\cdot\bar{x\bar{y}z}\cdot\bar{xy\bar{z}}\cdot\bar{xyz}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(x+y+\bar{z})\cdot(x+\bar{y}+\bar{z})\cdot(\bar{x}+y+z)\cdot(\bar{x}+y\bar{z})\cdot(\bar{x}+\bar{y}+z)\cdot(\bar{x}+\bar{y}+\bar{z})$ СКНФ считается при наличии СДНФ'а ты мне просто не дал дописать 1

@iDens01 0 / 0 / 0 Регистрация: 18.12.2019 Сообщений: 7
	18.12.2019, 11:00 [ТС]
	От души! По таблице истинности такой же результат 0

@iDens01 0 / 0 / 0 Регистрация: 18.12.2019 Сообщений: 7
	18.12.2019, 21:27 [ТС]
	Правда, я не понял откуда появилось значение r 0

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	19.12.2019, 11:51
	iDens01, у тебя три переменных $https://www.cyberforum.ru/cgi-bin/latex.cgi?x$ , $https://www.cyberforum.ru/cgi-bin/latex.cgi?y$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?z$ , 2³=8 значит в СДНФ может быть от 0 до 8 произведений. В твоем случае СДНФ это сумма двух произведений ( $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{y}\bar{z}+\bar{x}y\bar{z}$ (000, 010)), значит остальные ( $https://www.cyberforum.ru/cgi-bin/latex.cgi?8 - 2=6$ ) произведения (001, 011, 100, 101, 110, 111) будут использованы для получения СКНФ, назовем сумму этих произведений $https://www.cyberforum.ru/cgi-bin/latex.cgi?r$ , остальное ты уже видел... 0

СКНФ путём равносильных преобразований

Решение