Доказать или опровергнуть тождество

@DenisLeaL · Регистрация: 11.12.2018

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

Помогите плез! Доказать или опровергнуть тождество:

(X2⊕X3)→(X3∨¬X4)(X1→¬(X2X3)≡¬X2∨(X4→X3 )

Таблицу истинности со значениями вроде сделал. В конечном итоге получились все единицы. А как доказать?

@kabenyuk · 11.12.2018, 19:15

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

В конечном итоге получились все единицы. А как доказать?

Ну а это и есть доказательство?

@DenisLeaL · 11.12.2018, 19:31 **[ТС]**

kabenyuk, вы меня спрашиваете?)

@kabenyuk · 12.12.2018, 07:09

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

вы меня спрашиваете?

Нет, это и есть доказательство!

@Mikl___ · 12.12.2018, 14:11

$https://www.cyberforum.ru/cgi-bin/latex.cgi?(X_{2}\oplus X_{3})\rightarrow(X_{3}+\bar{X_{4}})(X_{1}\rightarrow\bar{(X_{2}X_{3})}=\bar{(X_{2}\oplus X_{3})}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{(X_{2}X_{3})}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{2}X_{3}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+\bar{X_{2}}+X_{2})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+1)+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{X_{2}}+X_{3})(\bar{X_{3}}+X_{3})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=(\bar{X_{2}}+\bar{X_{4}}\bar{X_{2}})+X_{3}+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{3}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}(1+\bar{X_{4}})+(X_{3}+\bar{X_{4}}\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+(X_{3}+\bar{X_{4}})(X_{3}+\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=\bar{X_{2}}+X_{3}+(\bar{X_{4}}+\bar{X_{4}}\bar{X_{1}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+X_{3}+\bar{X_{4}}(1+\bar{X_{1}})=\bar{X_{2}}+X_{3}+\bar{X_{4}}=\bar{X_{2}}+(X_{4}\rightarrow X_{3})$

@3D Homer · 12.12.2018, 16:50

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

А как доказать?

Почему вы не считаете построение таблицы истинности доказательством? Какого рода доказательство вам нужно?

@Mikl___ · 12.12.2018, 17:01

DenisLeaL,
для начала прочитай правила форума

5. Запреты и ограничения
5.5. Запрещено размещать тему в нескольких подразделах одного раздела одновременно (кросспостинг), а также дублировать тему в одном разделе.

Доказать или опровергнуть тождество

@DenisLeaL · 12.12.2018, 17:13 **[ТС]**

Какого рода не понятно. В задании так и есть - доказать или опровергнуть..и все. Может быть Вы и правы, что таблицы истинности достаточно.

Новые блоги и статьи Все статьи Все блоги /
Работа с объемным DOM в javascript Htext 04.04.2025 Сегодня прочитал статью тут о расходах памяти в JS, ее утечках и т. п. И вот что вспомнил из своей недавней практики. Может, кому пригодится. Хотя, в той статье об этом тоже есть. Дело в том, что я. . .	Оптимизация производительности Node.js с помощью кластеризации run.dev 04.04.2025 Масштабирование приложений для обработки тысяч и миллионов запросов — обыденная задача для многих команд. Node. js, благодаря своей асинхронной событийно-ориентированной архитектуре, стал популярной. . .	Управление зависимостями в Python с Poetry py-thonny 04.04.2025 Стандартный инструмент для установки пакетов в Python - pip - прекрасно справляется с базовыми сценариями: установил пакет командой pip install и используешь его. Но что произойдёт, когда разные. . .	Мониторинг с Prometheus в PHP Jason-Webb 04.04.2025 Prometheus выделяется среди других систем мониторинга своим подходом к сбору и хранению метрик. В отличие от New Relic, который использует агентный подход и отправляет данные во внешнее хранилище,. . .	Пакет Context в Golang: Управление потоками и ресурсами golander 04.04.2025 Работа с горутинами в Go часто напоминает управление непослушными детьми - они разбегаются кто куда, делают что хотят и не всегда завершаются вовремя. К счастью, в Go 1. 7 появился пакет context,. . .
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28

	Доказать или опровергнуть тождество 11.12.2018, 18:59. Показов 3488. Ответов 7 Метки дискретная (Все метки) Помогите плез! Доказать или опровергнуть тождество: (X2⊕X3)→(X3∨¬X4)(X1→¬(X2X3)≡¬X2∨(X4→X3 ) Таблицу истинности со значениями вроде сделал. В конечном итоге получились все единицы. А как доказать? 0

@kabenyuk $Эксперт по математике/физике$ 4183 / 3051 / 918 Регистрация: 19.11.2012 Сообщений: 6,196
	11.12.2018, 19:15
	Сообщение от DenisLeaL В конечном итоге получились все единицы. А как доказать? Ну а это и есть доказательство? 0

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28
	11.12.2018, 19:31 [ТС]
	kabenyuk, вы меня спрашиваете?) 0

@kabenyuk $Эксперт по математике/физике$ 4183 / 3051 / 918 Регистрация: 19.11.2012 Сообщений: 6,196
	12.12.2018, 07:09
	Сообщение от DenisLeaL вы меня спрашиваете? Нет, это и есть доказательство! 1

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	12.12.2018, 14:11
	Сообщение было отмечено DenisLeaL как решение Решение $https://www.cyberforum.ru/cgi-bin/latex.cgi?(X_{2}\oplus X_{3})\rightarrow(X_{3}+\bar{X_{4}})(X_{1}\rightarrow\bar{(X_{2}X_{3})}=\bar{(X_{2}\oplus X_{3})}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{(X_{2}X_{3})}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{2}X_{3}+(X_{3}+\bar{X_{4}})(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+\bar{X_{2}}+X_{2})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=\bar{X_{2}}\cdot\bar{X_{3}}+X_{3}(\bar{X_{1}}+1)+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{X_{2}}+X_{3})(\bar{X_{3}}+X_{3})+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{2}}+\bar{X_{3}})=(\bar{X_{2}}+\bar{X_{4}}\bar{X_{2}})+X_{3}+\bar{X_{4}}(\bar{X_{1}}+\bar{X_{3}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}(1+\bar{X_{4}})+(X_{3}+\bar{X_{4}}\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+(X_{3}+\bar{X_{4}})(X_{3}+\bar{X_{3}})+\bar{X_{4}}\bar{X_{1}}=\bar{X_{2}}+X_{3}+(\bar{X_{4}}+\bar{X_{4}}\bar{X_{1}})=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{X_{2}}+X_{3}+\bar{X_{4}}(1+\bar{X_{1}})=\bar{X_{2}}+X_{3}+\bar{X_{4}}=\bar{X_{2}}+(X_{4}\rightarrow X_{3})$ 1

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	12.12.2018, 16:50
	Сообщение от DenisLeaL А как доказать? Почему вы не считаете построение таблицы истинности доказательством? Какого рода доказательство вам нужно? 1

@Mikl___ Ушел с форума 16355 / 7671 / 1078 Регистрация: 11.11.2010 Сообщений: 13,730
	12.12.2018, 17:01
	DenisLeaL, для начала прочитай правила форума 5. Запреты и ограничения 5.5. Запрещено размещать тему в нескольких подразделах одного раздела одновременно (кросспостинг), а также дублировать тему в одном разделе. Доказать или опровергнуть тождество 0

@DenisLeaL 0 / 0 / 0 Регистрация: 11.12.2018 Сообщений: 28
	12.12.2018, 17:13 [ТС]
	Какого рода не понятно. В задании так и есть - доказать или опровергнуть..и все. Может быть Вы и правы, что таблицы истинности достаточно. 0

Доказать или опровергнуть тождество

Решение