Правило поглощения

@Александр_Алекс · Регистрация: 08.12.2013

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

Разбираюсь с минимизацией логических функций, читаю статью на вики о методе Куайна.
Там есть пункт о склейке членов:

Членами результата склеивания являются:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?f(x_{1},x_{2},x_{3})=x_{2}\bar{x_{3}}\vee x_{1}\bar{x_{2}}\vee x_{1}\bar{x_{3}}\vee x_{1}x_{3}\vee x_{1}x_{2}<br />$
Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает те члены исходного выражения, которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , то есть первый и четвёртый. Эти члены вычёркиваются. Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_1 \cdot \overline{x_2}$ поглощает второй и третий, а член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_1 \cdot x_3$ — пятый член исходного выражения.

И вот здесь мне становится непонятно, каким образом $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_{1}x_{3}$ ?

Саму формулировку правила я знаю, но я не понимаю как его здесь применить. Кому не сложно, будьте добры объяснить

Добавлено через 27 минут
Статья, о которой идет речь
https://ru.wikipedia.org/wiki/... 0%BD%D0%B0

@3D Homer · 30.11.2015, 23:26

Наверное, речь идет о тождестве $https://www.cyberforum.ru/cgi-bin/latex.cgi?x\vee xy=x$ .

Добавлено через 3 минуты

Сообщение от Александр_Алекс

И вот здесь мне становится непонятно, каким образом $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x}_3$ поглощает $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_{1}x_{3}$ ?

Здесь написано, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x}_3$ поглощает "члены исходного выражения", а не результата склеивания

@Александр_Алекс · 01.12.2015, 11:01 **[ТС]**

Сообщение от 3D Homer

Здесь написано, что поглощает "члены исходного выражения"

которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ то есть первый и четвёртый.

О каком тождестве идет речь я понимаю, вот я и прошу объяснить мне как его применили к первому и четвертому члену.

@3D Homer · 01.12.2015, 14:11

Сообщение от Александр_Алекс

которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ то есть первый и четвёртый.

Фраза

Сообщение от Александр_Алекс

Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает те члены исходного выражения, которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , то есть первый и четвёртый.

означает не то, что первый и четвертый члены результата склеивания содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , а то, что первый и четвертый члены исходного выражения, то есть СДНФ, содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ .

@Александр_Алекс · 01.12.2015, 20:42 **[ТС]**

аа, какой же я невнимательный
спасибо за помощь

@Александр_Алекс 10 / 7 / 4 Регистрация: 08.12.2013 Сообщений: 165
		1
	Правило поглощения 30.11.2015, 22:53. Показов 2030. Ответов 4 Метки нет (Все метки) Разбираюсь с минимизацией логических функций, читаю статью на вики о методе Куайна. Там есть пункт о склейке членов: Членами результата склеивания являются: $https://www.cyberforum.ru/cgi-bin/latex.cgi?f(x_{1},x_{2},x_{3})=x_{2}\bar{x_{3}}\vee x_{1}\bar{x_{2}}\vee x_{1}\bar{x_{3}}\vee x_{1}x_{3}\vee x_{1}x_{2}<br />$ Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает те члены исходного выражения, которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , то есть первый и четвёртый. Эти члены вычёркиваются. Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_1 \cdot \overline{x_2}$ поглощает второй и третий, а член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_1 \cdot x_3$ — пятый член исходного выражения. И вот здесь мне становится непонятно, каким образом $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_{1}x_{3}$ ? Саму формулировку правила я знаю, но я не понимаю как его здесь применить. Кому не сложно, будьте добры объяснить Добавлено через 27 минут Статья, о которой идет речь https://ru.wikipedia.org/wiki/... 0%BD%D0%B0 0

@3D Homer $Эксперт по математике/физике$ 4945 / 3564 / 1149 Регистрация: 01.09.2014 Сообщений: 9,649
	30.11.2015, 23:26	2
	Наверное, речь идет о тождестве $https://www.cyberforum.ru/cgi-bin/latex.cgi?x\vee xy=x$ . Добавлено через 3 минуты Сообщение от Александр_Алекс И вот здесь мне становится непонятно, каким образом $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x}_3$ поглощает $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_{1}x_{3}$ ? Здесь написано, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x}_3$ поглощает "члены исходного выражения", а не результата склеивания 0

@Александр_Алекс 10 / 7 / 4 Регистрация: 08.12.2013 Сообщений: 165
	01.12.2015, 11:01 [ТС]	3
	Сообщение от 3D Homer Здесь написано, что поглощает "члены исходного выражения" которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ то есть первый и четвёртый. О каком тождестве идет речь я понимаю, вот я и прошу объяснить мне как его применили к первому и четвертому члену. 0

@3D Homer $Эксперт по математике/физике$ 4945 / 3564 / 1149 Регистрация: 01.09.2014 Сообщений: 9,649
	01.12.2015, 14:11	4
	Сообщение было отмечено Александр_Алекс как решение Решение Сообщение от Александр_Алекс которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ то есть первый и четвёртый. Фраза Сообщение от Александр_Алекс Член $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ поглощает те члены исходного выражения, которые содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , то есть первый и четвёртый. означает не то, что первый и четвертый члены результата склеивания содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ , а то, что первый и четвертый члены исходного выражения, то есть СДНФ, содержат $https://www.cyberforum.ru/cgi-bin/latex.cgi?x_2 \cdot \overline{x_3}$ . 1

@Александр_Алекс 10 / 7 / 4 Регистрация: 08.12.2013 Сообщений: 165
	01.12.2015, 20:42 [ТС]	5
	аа, какой же я невнимательный спасибо за помощь 0

Опции темы

Правило поглощения

Решение