Упрощение логических выражений

@Kris12 · Регистрация: 30.05.2016

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

Как вот из этого: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz v \bar{x}\bar{z}t v \bar{y}\bar{z}t v z\bar{t}$
Можно получить при сокращении вот это: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{t}z v t\bar{y}\bar{z} v ty\bar{x}$
Буду весьма благодарна, если объясните, какими операциями тут пользовались и как получили такой результат.

@Ellipsoid · 31.05.2016, 00:10

У Вас тут конъюнкция?

@3D Homer · 31.05.2016, 00:29

Используются следующие законы: $https://www.cyberforum.ru/cgi-bin/latex.cgi?xy\vee x = x$ (1) и $https://www.cyberforum.ru/cgi-bin/latex.cgi?x=xy\vee x\bar{y}$ (2).

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz \vee \bar{x}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}yz\bar{t}\vee \bar{x}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}yz\bar{t}\vee \bar{x}y\bar{z}t\vee \bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{z}t$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}y\bar{z}t\vee \bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (1) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz\bar{t}\vee z\bar{t}$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}y\bar{z}t\vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (1) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yt\vee \bar{y}\bar{z}t \vee z\bar{t}$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yt$

Но все это лучше видно на картах Карно.

@Kris12 · 31.05.2016, 15:04 **[ТС]**

Спасибо большое, все очень подробно разъяснили)

@Kris12 0 / 0 / 0 Регистрация: 30.05.2016 Сообщений: 2
		1
	Упрощение логических выражений 30.05.2016, 18:05. Показов 1179. Ответов 3 Метки нет (Все метки) Как вот из этого: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz v \bar{x}\bar{z}t v \bar{y}\bar{z}t v z\bar{t}$ Можно получить при сокращении вот это: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{t}z v t\bar{y}\bar{z} v ty\bar{x}$ Буду весьма благодарна, если объясните, какими операциями тут пользовались и как получили такой результат. 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	31.05.2016, 00:10	2
	У Вас тут конъюнкция? 0

@3D Homer $Эксперт по математике/физике$ 4952 / 3570 / 1150 Регистрация: 01.09.2014 Сообщений: 9,657
	31.05.2016, 00:29	3
	Сообщение было отмечено Kris12 как решение Решение Используются следующие законы: $https://www.cyberforum.ru/cgi-bin/latex.cgi?xy\vee x = x$ (1) и $https://www.cyberforum.ru/cgi-bin/latex.cgi?x=xy\vee x\bar{y}$ (2). $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz \vee \bar{x}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}yz\bar{t}\vee \bar{x}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}yz\bar{t}\vee \bar{x}y\bar{z}t\vee \bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{z}t$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}y\bar{z}t\vee \bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (1) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yz\bar{t}\vee z\bar{t}$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yzt\vee \bar{x}y\bar{z}t\vee \bar{y}\bar{z}t \vee z\bar{t}=$ применили (1) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}\bar{y}\bar{z}t \vee \bar{y}\bar{z}t$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yt\vee \bar{y}\bar{z}t \vee z\bar{t}$ применили (2) к $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x}yt$ Но все это лучше видно на картах Карно. 1

@Kris12 0 / 0 / 0 Регистрация: 30.05.2016 Сообщений: 2
	31.05.2016, 15:04 [ТС]	4
	Спасибо большое, все очень подробно разъяснили) 0

Упрощение логических выражений

Решение