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

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

Новые блоги и статьи Все статьи Все блоги /
Обмен данными в микросервисной архитектуре ArchitectMsa 06.04.2025 Когда разработчики начинают погружаться в мир микросервисов, они часто сталкиваются с парадоксальным правилом: "два сервиса не должны делить один источник данных". Эта мантра звучит повсюду в. . .	PostgreSQL в Kubernetes: Автоматизация обслуживания с CNPG Mr. Docker 06.04.2025 Администраторы баз данных сталкиваются с целым рядом проблем при обслуживании PostgreSQL в Kubernetes: как обеспечить правильную репликацию данных, как настроить автоматическое переключение при. . .	Async/await в TypeScript run.dev 06.04.2025 Асинхронное программирование — это подход к разработке программного обеспечения, при котором операции выполняются независимо друг от друга. В отличие от синхронного выполнения, где каждая последующая. . .	Многопоточность в C#: Синхронизация потоков UnmanagedCoder 06.04.2025 Многопоточное программирование стало неотъемлемой частью разработки современных приложений на C#. С появлением многоядерных процессоров возможность выполнять несколько задач параллельно значительно. . .	TypeScript: Классы и конструкторы run.dev 06.04.2025 TypeScript, как статически типизированный язык, построенный на основе JavaScript, привнес в веб-разработку новый уровень надежности и структурированности кода. Одним из важнейших элементов этой. . .
Многопоточное программирование: Rust против C++ golander 06.04.2025 C++ существует уже несколько десятилетий и его поддержка параллелизма постепенно наращивалась со временем. Начиная с C++11, язык получил стандартную библиотеку для работы с потоками, а в последующих. . .	std::vector в C++: от основ к оптимизации производительности NullReferenced 05.04.2025 Для многих программистов знакомство с std::vector происходит на ранних этапах изучения языка, но между базовым пониманием и подлинным мастерством лежит огромная дистанция. Контейнер std::vector. . .	Реляционная модель и правила Кодда: фундамент современных баз данных Codd 05.04.2025 Конец 1960-х — начало 1970-х годов был периодом глубоких трансформаций в области хранения и обработки данных. На фоне растущих потребностей бизнеса и правительственных структур существовавшие на тот. . .	Асинхронные операции в Django с Celery py-thonny 05.04.2025 Разработчики Django часто сталкиваются с проблемой, когда пользователь нажимает кнопку отправки формы и. . . ждёт. Секунды растягиваются в минуты, терпение иссякает, а интерфейс приложения замирает. . . .	Использование кэшей CPU: Максимальная производительность в Go golander 05.04.2025 Разработчикам хорошо известно, что эффективность кода зависит не только от алгоритмов и структур данных, но и от того, насколько удачно программа взаимодействует с железом. Среди множества факторов,. . .

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

	СКНФ путём равносильных преобразований 18.12.2019, 10:30. Показов 4777. Ответов 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

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

Решение