Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U:

@MuBRiK · Регистрация: 12.11.2012

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

Распишите все этапы плиз. я плохо в этом разбераюсь

Комментарий модератора

Правила, 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом.

Задания набирать ручками. Один вопрос - одна тема. Для формул есть редактор.

Рекомендации по созданию темы

@MuBRiK · 11.06.2014, 12:06 **[ТС]**

Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U:

Добавлено через 1 минуту
Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U:
V=(x\oplus y*z)\rightarrow (\bar{x} \rightarrow (y\rightarrow z))
U=x\rightarrow ((y\rightarrow z)\rightarrow x)

OldFedor · 11.06.2014, 12:52

$https://www.cyberforum.ru/cgi-bin/latex.cgi?V=(x\oplus y*z)\rightarrow (\bar{x} \rightarrow (y\rightarrow z))$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?U=x\rightarrow ((y\rightarrow z)\rightarrow x)$

Добавлено через 1 минуту
$https://www.cyberforum.ru/cgi-bin/latex.cgi?U=x\rightarrow ((y\rightarrow z)\rightarrow x) =\bar{x}+\bar{\bar{y}+z}+x\equiv 1$

Добавлено через 12 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?V=(x\oplus y*z)\rightarrow (\bar{x} \rightarrow (y\rightarrow z))=\bar{x\bar{yz}+\bar{x}yz}+x+\bar{y}+z=(\bar{x}+yz)(x+\bar{yz})+x+\bar{y}+z=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}\bar{yz}+xyz+x+\bar{y}+z=\bar{x}\bar{y}+\bar{x}\bar{z}+x+\bar{y}+z=\bar{y}+\bar{x}\bar{z}+x+z=\bar{y}+x+\bar{z}+z\equiv 1$

@MuBRiK · 11.06.2014, 13:44 **[ТС]**

Если выложу еще задания, сможешь помочь? контрольная из 10 задач. я сделал 5, связанные с таблицами истинности, а с преобразованиями не могу. тупо сижу, и разные формулы используя, а что на выходе должно быть, незнаю.

OldFedor · 11.06.2014, 13:47

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

Если выложу еще задания

Сожалею, но Вам придется создавать для каждой задачи новую тему.
Таковы правила.
Ну...в бой!

@Mikl___ · 11.06.2014, 13:54

MuBRiK,
выкладывай по одной, после решения, иначе нарушение правил форума пункт 5.16

Запреты и ограничения
16. Запрещено создавать темы с множеством вопросов во всех разделах, кроме разделов платных услуг. Один вопрос - одна тема.

OldFedor,
можно и одной темой обойтись, главное, чтобы не было списка вопросов в первом посте.

@MuBRiK · 11.06.2014, 14:05 **[ТС]**

С помощью эквивалентных преобразований построить ДНФ функции:
({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3}))

наконец понял как писать в редакторе формул

OldFedor · 11.06.2014, 14:24

Когда набрали в редакторе, жмите на предпросмотр и ниже из окна копируйте.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3}))$

Добавлено через 16 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3}))=(\bar{x1}+x2)(x1+\bar{x2})+(\bar{x1x3}+\bar{x2} +x3)(x1x3+\bar{\bar{x2} +x3})=$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+ \bar{x1x3}\bar{\bar{x2} +x3}+x1\bar{x2}x3+\bar{x2}\bar{\bar{x2}+x3}+x1x3+x3\bar{\bar{x2} +x3}=$

Попробуйте закончить.

@Mikl___ · 11.06.2014, 14:24

[из-за педагогических соображений удалил]

@MuBRiK · 11.06.2014, 14:30 **[ТС]**

Mikl___, У вас вроде ошибка в индексах, или я туплю.

@Mikl___ · 11.06.2014, 14:32

MuBRiK,
да, у OldFedor правильнее

@MuBRiK · 11.06.2014, 14:45 **[ТС]**

OldFedor, дело в том, что я не понимаю саму суть, что должно быть на выходе ответом. Определения читал, примеры разбирал, но нет. Я из этой темы понял как таблиц.истинности составлять и по ней находить СДНФ,СКНФ. Я тут могу целый день сокрашать, изменять, мне это не о чем не говорит. И по этому к вам обратился, чтоб вы помогли с ришением, и написали все шаги решения.

Добавлено через 11 минут
Дорешайте плиз.

OldFedor · 11.06.2014, 14:48

Не по теме:

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

Дорешайте плиз.

Погодите.

@Mikl___ · 11.06.2014, 14:49

MuBRiK,
о таблицах Карно ничего не слышал/не читал? Преобразования могут быть и ошибочными, исходную формулу и формулу, полученную в результате преобразования, нужно ОБЯЗАТЕЛЬНО проверять на таблице истинности

@MuBRiK · 11.06.2014, 14:58 **[ТС]**

Mikl___,
О таблицах Карно видел в книге, но не читал, думал это не связано с решением.
Через таблицу истинности я могу проверить. Это для меня не проблема.

OldFedor, я начинал решение вот так:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=({x}_{1}{x}_{2}\vee \bar{{x}_{1}}\bar{{x}_{2}})\vee ({x}_{1}{x}_{3}\oplus (\bar{{x}_{1}}\vee {x}_{3}))$

OldFedor · 11.06.2014, 15:11

Мог и напутать (уже в глазах точечки).
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+(\bar{x1}+\bar{x3})x2\bar{x3}+x1\bar{x2}x3+x1x3+\bar{x2}x2\bar{x3}+x3x2\bar{x3}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+\bar{x1}x2\bar{x3}+x2\bar{x3}+x1\bar{x2}x3+x1x3=\bar{x1}\bar{x2}+x1x2+x2\bar{x3}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+\bar{x1}x2\bar{x3}+x2\bar{x3}+x1\bar{x2}x3+x1x3=\bar{x1}\bar{x2}+x1x2+x2\bar{x3}+x1x3$

@MuBRiK · 11.06.2014, 16:29 **[ТС]**

Используя эквивалентные преобразования, построить КНФ функции (не срочно,помогите) :
$https://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{1}\bar{{x}_{2}}\vee \bar{{x}_{2}}{x}_{3}\vee ({x}_{1}\rightarrow {x}_{2}{x}_{3})$

@AdmiralHood · 11.06.2014, 16:38

$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow B = \bar{A} + B$

Откуда

$https://www.cyberforum.ru/cgi-bin/latex.cgi?f =x_1 \bar{x_2} + \bar{x_2} x_3 + \bar{x_1} + x_2x_3 = x_1 \bar{x_2} + x_3 + \bar{x_1}$

@MuBRiK · 11.06.2014, 19:14 **[ТС]**

AdmiralHood,
а как ты заменил $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ на + ? я про это че то не в курсе

@AdmiralHood · 11.06.2014, 19:16

Я дизъюнкцию обозначаю плюсиком. Так мне удобнее

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 12:06 [ТС]
	Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U: Добавлено через 1 минуту Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U: V=(x\oplus y*z)\rightarrow (\bar{x} \rightarrow (y\rightarrow z)) U=x\rightarrow ((y\rightarrow z)\rightarrow x) 0

OldFedor 7486 / 4150 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	11.06.2014, 12:52
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?V=(x\oplus yz)\rightarrow (\bar{x} \rightarrow (y\rightarrow z))$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?U=x\rightarrow ((y\rightarrow z)\rightarrow x)$ Добавлено через 1 минуту* $https://www.cyberforum.ru/cgi-bin/latex.cgi?U=x\rightarrow ((y\rightarrow z)\rightarrow x) =\bar{x}+\bar{\bar{y}+z}+x\equiv 1$ Добавлено через 12 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?V=(x\oplus y*z)\rightarrow (\bar{x} \rightarrow (y\rightarrow z))=\bar{x\bar{yz}+\bar{x}yz}+x+\bar{y}+z=(\bar{x}+yz)(x+\bar{yz})+x+\bar{y}+z=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x}\bar{yz}+xyz+x+\bar{y}+z=\bar{x}\bar{y}+\bar{x}\bar{z}+x+\bar{y}+z=\bar{y}+\bar{x}\bar{z}+x+z=\bar{y}+x+\bar{z}+z\equiv 1$ 1

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 13:44 [ТС]
	Если выложу еще задания, сможешь помочь? контрольная из 10 задач. я сделал 5, связанные с таблицами истинности, а с преобразованиями не могу. тупо сижу, и разные формулы используя, а что на выходе должно быть, незнаю. 0

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 14:05 [ТС]
	С помощью эквивалентных преобразований построить ДНФ функции: ({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3})) наконец понял как писать в редакторе формул 0

OldFedor 7486 / 4150 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	11.06.2014, 14:24
	Когда набрали в редакторе, жмите на предпросмотр и ниже из окна копируйте. $https://www.cyberforum.ru/cgi-bin/latex.cgi?({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3}))$ Добавлено через 16 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?({x}_{1}\sim {x}_{2})\vee ({x}_{1}{x}_{3}\oplus ({x}_{2}\rightarrow {x}_{3}))=(\bar{x1}+x2)(x1+\bar{x2})+(\bar{x1x3}+\bar{x2} +x3)(x1x3+\bar{\bar{x2} +x3})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+ \bar{x1x3}\bar{\bar{x2} +x3}+x1\bar{x2}x3+\bar{x2}\bar{\bar{x2}+x3}+x1x3+x3\bar{\bar{x2} +x3}=$ Попробуйте закончить. 2

@Mikl___ Ушел с форума 16371 / 7683 / 1080 Регистрация: 11.11.2010 Сообщений: 13,757
	11.06.2014, 14:24
	[из-за педагогических соображений удалил] 2

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 14:30 [ТС]
	Mikl___, У вас вроде ошибка в индексах, или я туплю. 0

@Mikl___ Ушел с форума 16371 / 7683 / 1080 Регистрация: 11.11.2010 Сообщений: 13,757
	11.06.2014, 14:32
	MuBRiK, да, у OldFedor правильнее 0

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 14:45 [ТС]
	OldFedor, дело в том, что я не понимаю саму суть, что должно быть на выходе ответом. Определения читал, примеры разбирал, но нет. Я из этой темы понял как таблиц.истинности составлять и по ней находить СДНФ,СКНФ. Я тут могу целый день сокрашать, изменять, мне это не о чем не говорит. И по этому к вам обратился, чтоб вы помогли с ришением, и написали все шаги решения. Добавлено через 11 минут Дорешайте плиз. 0

@Mikl___ Ушел с форума 16371 / 7683 / 1080 Регистрация: 11.11.2010 Сообщений: 13,757
	11.06.2014, 14:49
	MuBRiK, о таблицах Карно ничего не слышал/не читал? Преобразования могут быть и ошибочными, исходную формулу и формулу, полученную в результате преобразования, нужно ОБЯЗАТЕЛЬНО проверять на таблице истинности 0

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 14:58 [ТС]
	Mikl___, О таблицах Карно видел в книге, но не читал, думал это не связано с решением. Через таблицу истинности я могу проверить. Это для меня не проблема. OldFedor, я начинал решение вот так: $https://www.cyberforum.ru/cgi-bin/latex.cgi?=({x}_{1}{x}_{2}\vee \bar{{x}_{1}}\bar{{x}_{2}})\vee ({x}_{1}{x}_{3}\oplus (\bar{{x}_{1}}\vee {x}_{3}))$ 0

OldFedor 7486 / 4150 / 474 Регистрация: 25.08.2012 Сообщений: 11,530 Записей в блоге: 11
	11.06.2014, 15:11
	Сообщение было отмечено MuBRiK как решение Решение Мог и напутать (уже в глазах точечки). $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+(\bar{x1}+\bar{x3})x2\bar{x3}+x1\bar{x2}x3+x1x3+\bar{x2}x2\bar{x3}+x3x2\bar{x3}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+\bar{x1}x2\bar{x3}+x2\bar{x3}+x1\bar{x2}x3+x1x3=\bar{x1}\bar{x2}+x1x2+x2\bar{x3}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{x1}\bar{x2}+x1x2+\bar{x1}x2\bar{x3}+x2\bar{x3}+x1\bar{x2}x3+x1x3=\bar{x1}\bar{x2}+x1x2+x2\bar{x3}+x1x3$ 1

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 16:29 [ТС]
	Используя эквивалентные преобразования, построить КНФ функции (не срочно,помогите) : $https://www.cyberforum.ru/cgi-bin/latex.cgi?{x}_{1}\bar{{x}_{2}}\vee \bar{{x}_{2}}{x}_{3}\vee ({x}_{1}\rightarrow {x}_{2}{x}_{3})$ 0

@AdmiralHood 477 / 280 / 90 Регистрация: 15.11.2013 Сообщений: 530
	11.06.2014, 16:38
	$https://www.cyberforum.ru/cgi-bin/latex.cgi?A\rightarrow B = \bar{A} + B$ Откуда $https://www.cyberforum.ru/cgi-bin/latex.cgi?f =x_1 \bar{x_2} + \bar{x_2} x_3 + \bar{x_1} + x_2x_3 = x_1 \bar{x_2} + x_3 + \bar{x_1}$ 1

@MuBRiK 0 / 0 / 0 Регистрация: 12.11.2012 Сообщений: 38
	11.06.2014, 19:14 [ТС]
	AdmiralHood, а как ты заменил $https://www.cyberforum.ru/cgi-bin/latex.cgi?\vee$ на + ? я про это че то не в курсе 0

@AdmiralHood 477 / 280 / 90 Регистрация: 15.11.2013 Сообщений: 530
	11.06.2014, 19:16
	Я дизъюнкцию обозначаю плюсиком. Так мне удобнее 1

Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U:

Решение