По структурной формуле составить логическую схему. Упростить выражение и составить новую схему

@ars17 · Регистрация: 06.06.2016

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

По структурной формуле составить логическую схему. Упростить выражение и составить новую схему.
1) Само уравнение
$https://www.cyberforum.ru/cgi-bin/latex.cgi?y=x1*\bar{x2*x3}+\bar{\bar{x1*x2}*x3+\bar{x1*x3}*x2}$
2) Набросал схему, но не смог осилить объединение
3) Упростить смог только выразив $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{x1}}$ , а дальше я нашёл пробел в знаниях
Прошу помощи

@Sindbad_M · 06.06.2016, 13:09

ars17, В схеме нет ничего правильного. Попробуйте изобразить как выглядят элементарные блоки из которых нужно составить схему.

Какие формулы (законы) вы знаете? Начать упрощение следует с избавления от отрицания над выражениями (чтобы остались только отрицания над переменными. Для этого можно применять формулы https://ru.wikipedia.org/wiki/... 0%BD%D0%B0

@Pipetos · 06.06.2016, 22:11

Я конечно, тоже только изучаю логику, но не упрощая форумулу у меня получилась вот такая схема.

@Pipetos · 06.06.2016, 22:20

Моё предположение такое по раскладыванию формулы. Но скорее всего не правильно, т.к не понимаю что сделать с двойным отрицанием.
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x1*\bar{x2*x3}+\bar{\bar{x1*x2}*x3+\bar{x1*x3}*x2}=x1*(\bar{x2}+\bar{x3})+(\bar{(\bar{x1}+\bar{x2})*x3+(\bar{x1}+\bar{x3})*x2}=x1*(\bar{x2}+\bar{x3})+(x1*x2)+\bar{x3}*(x1*x3)+\bar{x2}=x1(\bar{x2}+\bar{x3}+x2+\bar{x3}*x3+x2)$

@Sindbad_M · 07.06.2016, 09:51

Двойное отрицание просто убираем
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{A}}=A$
раскрывать отрицания по законам де Моргана надо с наружных (самых длинных, самых верхних)

Добавлено через 11 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{x1*x2}*x3+\bar{x1*x3}*x2}=\bar{\bar{x1*x2}*x3}*\bar{\bar{x1*x3}*x2}$

@ars17 · 07.06.2016, 18:47 **[ТС]**

Так?
$https://www.cyberforum.ru/cgi-bin/latex.cgi?x1*\bar{x2}+\bar{x3}+x1*x2+\bar{x3}*x1*x3+\bar{x2}$
А упростить как тогда? Или это уже нормально?

@Sindbad_M · 07.06.2016, 20:42

ars17, нет, не так. Честно говоря, не понял как получилось такое выражение. Критерий - эквивалентность конечного и исходного выражений. Постройте таблицы истинности для первоначального выражения и для результирующего, сразу увидите, эквивалентны они или нет. В данном случае нет. Возьмите, х1=0, х2=0, х3=1. Исходное выражение дает 0, а ваше 1.

Когда будете упрощать выражение обращайте внимание на ситуации когда в одной дизъюнкции или конъюнкции одновременно появляются переменная и её отрицание. Тогда можно использовать законы
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A*\bar{A}=0$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?A+\bar{A}=1$
Например, предпоследний член вашего выражения тождественно ложен

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@ars17 0 / 0 / 0 Регистрация: 06.06.2016 Сообщений: 2

	По структурной формуле составить логическую схему. Упростить выражение и составить новую схему 06.06.2016, 11:15. Показов 2865. Ответов 6 Метки нет (Все метки) По структурной формуле составить логическую схему. Упростить выражение и составить новую схему. 1) Само уравнение $https://www.cyberforum.ru/cgi-bin/latex.cgi?y=x1\bar{x2x3}+\bar{\bar{x1x2}x3+\bar{x1x3}x2}$ 2) Набросал схему, но не смог осилить объединение 3) Упростить смог только выразив $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{x1}}$ , а дальше я нашёл пробел в знаниях Прошу помощи Миниатюры 0

@Sindbad_M 485 / 411 / 126 Регистрация: 23.05.2016 Сообщений: 1,653
	06.06.2016, 13:09
	ars17, В схеме нет ничего правильного. Попробуйте изобразить как выглядят элементарные блоки из которых нужно составить схему. Какие формулы (законы) вы знаете? Начать упрощение следует с избавления от отрицания над выражениями (чтобы остались только отрицания над переменными. Для этого можно применять формулы https://ru.wikipedia.org/wiki/... 0%BD%D0%B0 0

@Pipetos 4 / 4 / 0 Регистрация: 07.06.2013 Сообщений: 263
	06.06.2016, 22:11
	Я конечно, тоже только изучаю логику, но не упрощая форумулу у меня получилась вот такая схема. Миниатюры 0

@Pipetos 4 / 4 / 0 Регистрация: 07.06.2013 Сообщений: 263
	06.06.2016, 22:20
	Моё предположение такое по раскладыванию формулы. Но скорее всего не правильно, т.к не понимаю что сделать с двойным отрицанием. $https://www.cyberforum.ru/cgi-bin/latex.cgi?x1\bar{x2x3}+\bar{\bar{x1x2}x3+\bar{x1x3}x2}=x1(\bar{x2}+\bar{x3})+(\bar{(\bar{x1}+\bar{x2})x3+(\bar{x1}+\bar{x3})x2}=x1(\bar{x2}+\bar{x3})+(x1x2)+\bar{x3}(x1x3)+\bar{x2}=x1(\bar{x2}+\bar{x3}+x2+\bar{x3}x3+x2)$ 0

@Sindbad_M 485 / 411 / 126 Регистрация: 23.05.2016 Сообщений: 1,653
	07.06.2016, 09:51
	Двойное отрицание просто убираем $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{A}}=A$ раскрывать отрицания по законам де Моргана надо с наружных (самых длинных, самых верхних) Добавлено через 11 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{x1x2}x3+\bar{x1x3}x2}=\bar{\bar{x1x2}x3}\bar{\bar{x1x3}*x2}$ 2

@ars17 0 / 0 / 0 Регистрация: 06.06.2016 Сообщений: 2
	07.06.2016, 18:47 [ТС]
	Так? $https://www.cyberforum.ru/cgi-bin/latex.cgi?x1\bar{x2}+\bar{x3}+x1x2+\bar{x3}x1x3+\bar{x2}$ А упростить как тогда? Или это уже нормально? 0

@Sindbad_M 485 / 411 / 126 Регистрация: 23.05.2016 Сообщений: 1,653
	07.06.2016, 20:42
	ars17, нет, не так. Честно говоря, не понял как получилось такое выражение. Критерий - эквивалентность конечного и исходного выражений. Постройте таблицы истинности для первоначального выражения и для результирующего, сразу увидите, эквивалентны они или нет. В данном случае нет. Возьмите, х1=0, х2=0, х3=1. Исходное выражение дает 0, а ваше 1. Когда будете упрощать выражение обращайте внимание на ситуации когда в одной дизъюнкции или конъюнкции одновременно появляются переменная и её отрицание. Тогда можно использовать законы $https://www.cyberforum.ru/cgi-bin/latex.cgi?A*\bar{A}=0$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?A+\bar{A}=1$ Например, предпоследний член вашего выражения тождественно ложен 0