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

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

Новые блоги и статьи
Счётчик на базе сумматоров + регистров и генератора сигналов согласования. Hrethgir 07.01.2025 Создан с целью проверки скорости асинхронной логики: ранее описанного сумматора и предополагаемых fast регистров. Регистры созданы на базе ранее описанного, предполагаемого fast триггера. То-есть. . .	Как перейти с Options API на Composition API в Vue.js BasicMan 06.01.2025 Почему переход на Composition API актуален В мире современной веб-разработки фреймворк Vue. js продолжает эволюционировать, предлагая разработчикам все более совершенные инструменты для создания. . .	Архитектура современных процессоров inter-admin 06.01.2025 Процессор (центральный процессор, ЦП) является основным вычислительным устройством компьютера, которое выполняет обработку данных и управляет работой всех остальных компонентов системы. Архитектура. . .	История создания реляционной модели баз данных, правила Кодда Programming 06.01.2025 Предпосылки создания реляционной модели В конце 1960-х годов компьютерная индустрия столкнулась с серьезными проблемами в области управления данными. Существовавшие на тот момент модели данных -. . .	Полезные поделки на Arduino, которые можно сделать самому raxper 06.01.2025 Arduino как платформа для творчества Arduino представляет собой удивительную платформу для технического творчества, которая открывает безграничные возможности для создания уникальных проектов. Эта. . .	Подборка решений задач на Python IT_Exp 06.01.2025 Целью данной подборки является предоставление возможности ознакомиться с различными задачами и их решениями на Python, что может быть полезно как для начинающих, так и для опытных программистов. . . .
С чего начать программировать микроконтроллеры raxper 06.01.2025 Введение в мир микроконтроллеров Микроконтроллеры стали неотъемлемой частью современного мира, окружая нас повсюду: от простых бытовых приборов до сложных промышленных систем. Эти маленькие. . .	Из чего собрать игровой компьютер inter-admin 06.01.2025 Сборка игрового компьютера требует особого внимания к выбору комплектующих и их совместимости. Правильно собранный игровой ПК не только обеспечивает комфортный геймплей в современных играх, но и. . .	Обновление сайта www.historian.by Reglage 05.01.2025 Обещал подвести итоги 2024 года для сайта. Однако начну с того, что изменилось за неделю. Добавил краткий урок по последовательности действий при анализе вредоносных файлов и значительно улучшил урок. . .	Как использовать GraphQL в C# с HotChocolate Programming 05.01.2025 GraphQL — это современный подход к разработке API, который позволяет клиентам запрашивать только те данные, которые им необходимы. Это делает взаимодействие с API более гибким и эффективным по. . .	Модель полного двоичного сумматора с помощью логических операций (python) AlexSky-coder 04.01.2025 def binSum(x:list, y:list): s=^y] p=x and y for i in range(1,len(x)): s. append((x^y)^p) p=(x and y)or(p and (x or y)) return s x=list() y=list()	Это мы не проходили, это нам не задавали...(асихронный счётчик с управляющим сигналом зад Hrethgir 04.01.2025 Асинхронный счётчик на сумматорах (шестиразрядный по числу диодов на плате, но наверное разрядов будет больше - восемь или шестнадцать, а диоды на старшие), так как триггеры прошли тестирование и. . .

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

@Mikl___ Ушел с форума 16341 / 7660 / 1076 Регистрация: 11.11.2010 Сообщений: 13,706
	18.12.2019, 10:37	2
	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 [ТС]	3
	СДНФ такой же у меня вышел, кстати. Но мне СКНФ нужен. 0

@Mikl___ Ушел с форума 16341 / 7660 / 1076 Регистрация: 11.11.2010 Сообщений: 13,706
	18.12.2019, 10:53	4
	Сообщение было отмечено 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 [ТС]	5
	От души! По таблице истинности такой же результат 0

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

@Mikl___ Ушел с форума 16341 / 7660 / 1076 Регистрация: 11.11.2010 Сообщений: 13,706
	19.12.2019, 11:51	7
	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

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

Решение