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

@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$ , остальное ты уже видел...

Новые блоги и статьи Все статьи Все блоги /
TypeScript: Интерфейсы vs Типы run.dev 11.04.2025 Современная разработка на JavaScript сталкивается с множеством проблем при масштабировании проектов. Типизация кода стала хорошим инструментом, помогающим избежать ошибок во время выполнения,. . .	Управление топиками и разделами Kafka Javaican 11.04.2025 Apache Kafka — распределенная платформа потоковой передачи данных, которая стала стандартом для построения высоконагруженных систем обмена сообщениями. В современной архитектуре микросервисов,. . .	Миграция монолита в Event-Driven микросервисную архитектуру на C# stackOverflow 11.04.2025 Монолитная архитектура – классический подход к разработке программного обеспечения. Это приложение, построенное как единое целое, где все компоненты тесно связаны между собой. Большинство проектов. . .	Go в Kubernetes: Управление ресурсами golander 11.04.2025 Разработчики Go-приложений в Kubernetes часто сталкиваются с неожиданными проблемами производительности и даже внезапными отказами контейнеров. Причина этого кроется в особенностях взаимодействия. . .	Агрегаты и сущности в DDD микросервисах Javaican 10.04.2025 Разработка современных программных систем часто приводит на распутье: монолит или микросервисы? Даже при выборе микросервисной архитектуры многие команды сталкиваются с проблемой правильного. . .
Многопоточность в C#: Task и параллельное программирование UnmanagedCoder 10.04.2025 Современные процессоры уже давно перестали наращивать тактовую частоту в пользу увеличения количества ядер. Это создало интересную ситуацию: разработчики, привыкшие к последовательному. . .	Линейное решение нелинейной задачи с помощью арктангенса для метода обработки данных из double buffering. Hrethgir 10.04.2025 Публикация в доработке, метод арктангенса в комментариях внизу. Вообще изначально я пренебрёг квадратурой числа, но потом понял, что для вычисления приблизительного значения - сгодится, формулу. . .	Переменные в Python py-thonny 10.04.2025 Переменная в программировании — это символическое имя, связанное с областью памяти, в которой хранится значение. Она позволяет получать доступ к данным через понятные человеку идентификаторы, а не. . .	Многопоточность в C#: Task и асинхронные операции UnmanagedCoder 10.04.2025 Многопоточность позволяет выполнять несколько операций одновременно, что важно для решения двух основных задач: повышения скорости выполнения вычислительно-сложных операций и сохранения отзывчивости. . .	Запуск контейнеров Docker на ARM64 Mr. Docker 09.04.2025 Появление таких решений, как Apple M1/ M2, AWS Graviton, Ampere Altra и Raspberry Pi, сделало использование ARM-систем обыденностью для многих разработчиков и DevOps-инженеров. При этом Docker,. . .

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

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

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,732
	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,732
	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,732
	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

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

Решение