СДНФ и СКНФ

@VictoriaL · Регистрация: 04.01.2014

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

Помогите, пожалуйста, привести к СДНФ И СКНФ

$https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow Y\rightarrow \bar{A})\rightarrow XA$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow B\bar{A})\rightarrow C\rightarrow \bar{AB}$

@Hoottie_McGOOB · 05.01.2014, 00:17

1. $https://www.cyberforum.ru/cgi-bin/latex.cgi?A((\bar{X}\vee Y)\rightarrow \bar{A})\rightarrow XA=A(\bar{\bar{X}\vee Y} \vee \bar{A})\rightarrow XA=AX\bar{Y}\rightarrow XA=\bar{A}\vee \bar{X}\vee Y\vee XA=1$ --- Тавтология.

2. $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A}\vee B\bar{A})\rightarrow C\rightarrow \bar{AB}=\bar{A}\rightarrow C\rightarrow \bar{AB}=(A \vee C)\rightarrow \bar{AB}=\bar{(A\vee C)}\vee \bar{A}\vee \bar{C}=\bar{A} \vee \bar{B}$
Это ДНФ, КНФ, СКНФ одновременно.
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A} \vee \bar{B}=\bar{A}(B\vee \bar{B})\vee \bar{B}(A\vee \bar{A})=\bar{A}B\vee \bar{A}\bar{B}\vee A\bar{B}\vee \bar{A}\bar{B}=\bar{A}B\vee \bar{A}\bar{B}\vee A\bar{B}$ Это СДНФ

@kazak · 05.01.2014, 02:10

Сообщение от VictoriaL

$https://www.cyberforum.ru/cgi-bin/latex.cgi?X\rightarrow Y\rightarrow \bar{A}$

Импликация не обладает свойством коммутативности и ассоциативности, здесь обязательно использование скобок, без них пример не корректен.

@VictoriaL · 05.01.2014, 10:34 **[ТС]**

Извините, первый пример написан с ошибкой. Там: $https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow Y\rightarrow \bar{A})\rightarrow \bar{XA}$
Спасибо большое за ответ!

@Mikl___ · 05.01.2014, 15:05

VictoriaL,
на замечание kazak внимание не обратила/обратил? должно быть или
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A((X\rightarrow Y)\rightarrow \bar{A})\rightarrow \bar{XA}$ или
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow (Y\rightarrow \bar{A}))\rightarrow \bar{XA}$ так как "Импликация не обладает свойством коммутативности и ассоциативности, здесь обязательно использование скобок, без них пример не корректен"

Новые блоги и статьи Все статьи Все блоги /
Вопросы на собеседованиях по микросервисам ArchitectMsa 27.03.2025 Работодатели ищут не просто разработчиков, знающих базовые концепции, а специалистов, разбирающихся в тонкостях масштабирования, отказоустойчивости и производительности. Сейчас на первый план выходят. . .	Взаимодействие Python с REST API py-thonny 27.03.2025 REST API - это архитектурный стиль взаимодействия компонентов распределённого приложения в сети. Python располагает функциональным набором инструментов для работы с REST API и основная библиотека для. . .	sshd restrictions, ssh access limitations jigi33 26.03.2025 sshd restrictions \| ssh access limitations рестрикции доступа на сервер sshd статья: https:/ / www. golinuxcloud. com/ restrict-allow-ssh-certain-users-groups-rhel	Компиляция C++ с Clang API NullReferenced 24.03.2025 Компиляторы обычно воспринимаются как черные ящики, которые превращают исходный код в исполняемые файлы. Мы запускаем компилятор командой в терминале, и вуаля — получаем бинарник. Но что если нужно. . .	Многопоточное программирование в C#: Класс Thread UnmanagedCoder 24.03.2025 Когда запускается приложение на компьютере, операционная система создаёт для него процесс - виртуальное адресное пространство. В C# этот процесс изначально получает один поток выполнения — главный. . .
SwiftUI Data Flow: Передача данных между представлениями mobDevWorks 23.03.2025 При первом знакомстве со SwiftUI кажется, что фреймворк предлагает избыточное количество механизмов для передачи данных: @State, @Binding, @StateObject, @ObservedObject, @EnvironmentObject и другие. . . .	Моки в Java: Сравниваем Mockito, EasyMock, JMockit Javaican 23.03.2025 Как протестировать класс, который зависит от других сложных компонентов, таких как базы данных, веб-сервисы или другие классы, с которыми и так непросто работать в тестовом окружении? Для этого и. . .	Архитектурные паттерны микросервисов: ТОП-10 шаблонов ArchitectMsa 22.03.2025 Популярность микросервисной архитектуры объясняется множеством важных преимуществ. К примеру, она позволяет командам разработчиков работать независимо друг от друга, используя различные технологии и. . .	Оптимизация рендеринга в Unity: Сортировка миллиона спрайтов GameUnited 22.03.2025 Помните, когда наличие сотни спрайтов в игре приводило к существенному падению производительности? Время таких ограничений уходит в прошлое. Сегодня геймдев сталкивается с задачами совершенно иного. . .	Образование и практика Igor3D 21.03.2025 Добрый день А вот каково качество/ эффективность ВУЗовского образования? Аналитическая геометрия изучается в первом семестре и считается довольно легким курсом, что вполне справедливо. Ну хорошо,. . .

@VictoriaL 0 / 0 / 0 Регистрация: 04.01.2014 Сообщений: 4

	СДНФ и СКНФ 04.01.2014, 14:01. Показов 1198. Ответов 4 Метки нет (Все метки) Помогите, пожалуйста, привести к СДНФ И СКНФ $https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow Y\rightarrow \bar{A})\rightarrow XA$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?(A\rightarrow B\bar{A})\rightarrow C\rightarrow \bar{AB}$ 0

@Hoottie_McGOOB 109 / 107 / 44 Регистрация: 04.10.2013 Сообщений: 231
	05.01.2014, 00:17
	1. $https://www.cyberforum.ru/cgi-bin/latex.cgi?A((\bar{X}\vee Y)\rightarrow \bar{A})\rightarrow XA=A(\bar{\bar{X}\vee Y} \vee \bar{A})\rightarrow XA=AX\bar{Y}\rightarrow XA=\bar{A}\vee \bar{X}\vee Y\vee XA=1$ --- Тавтология. 2. $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A}\vee B\bar{A})\rightarrow C\rightarrow \bar{AB}=\bar{A}\rightarrow C\rightarrow \bar{AB}=(A \vee C)\rightarrow \bar{AB}=\bar{(A\vee C)}\vee \bar{A}\vee \bar{C}=\bar{A} \vee \bar{B}$ Это ДНФ, КНФ, СКНФ одновременно. $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A} \vee \bar{B}=\bar{A}(B\vee \bar{B})\vee \bar{B}(A\vee \bar{A})=\bar{A}B\vee \bar{A}\bar{B}\vee A\bar{B}\vee \bar{A}\bar{B}=\bar{A}B\vee \bar{A}\bar{B}\vee A\bar{B}$ Это СДНФ 1

@kazak 3576 / 2721 / 350 Регистрация: 11.03.2009 Сообщений: 6,264
	05.01.2014, 02:10
	Сообщение от VictoriaL $https://www.cyberforum.ru/cgi-bin/latex.cgi?X\rightarrow Y\rightarrow \bar{A}$ Импликация не обладает свойством коммутативности и ассоциативности, здесь обязательно использование скобок, без них пример не корректен. 1

@VictoriaL 0 / 0 / 0 Регистрация: 04.01.2014 Сообщений: 4
	05.01.2014, 10:34 [ТС]
	Извините, первый пример написан с ошибкой. Там: $https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow Y\rightarrow \bar{A})\rightarrow \bar{XA}$ Спасибо большое за ответ! 0

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	05.01.2014, 15:05
	VictoriaL, на замечание kazak внимание не обратила/обратил? должно быть или $https://www.cyberforum.ru/cgi-bin/latex.cgi?A((X\rightarrow Y)\rightarrow \bar{A})\rightarrow \bar{XA}$ или $https://www.cyberforum.ru/cgi-bin/latex.cgi?A(X\rightarrow (Y\rightarrow \bar{A}))\rightarrow \bar{XA}$ так как "Импликация не обладает свойством коммутативности и ассоциативности, здесь обязательно использование скобок, без них пример не корректен" 1

Опции темы