ИЗ Буля в Пирса и Шеффера

@Shura_deg · Регистрация: 01.02.2015

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

уважаемые форумчане скажите верно ли равенство?

ИЗ Буля в Шеффера

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

а как перейти из Буля в Пирса ?

[latex]

Добавлено через 20 часов 38 минут
понял свою ошибку что нельзя сразу три знака менять, нужно по два...
выходит что здесь получаются очень большие преобразования...

@AdmiralHood · 08.02.2016, 05:11

Вам нужно сначала определиться, что вы понимаете под операцией «штрих Шеффера». Это только двухаргументные операции или можно использовать функции с тремя или более аргументами. Если разрешено только два аргумента, то придётся трёхвходовые операции реализовывать через двухвходовые. Примерно так

(a|b|c)=[(a|b)|(a|b)]|c.

Если хотите преобразовать в базис Пирса, то нужно сначала построить КНФ, а потом точно так же преобразовать КНФ в Пирса, как вы преобразуете ДНФ в Шеффера.

@Shura_deg 83 / 19 / 5 Регистрация: 01.02.2015 Сообщений: 655
		1
	ИЗ Буля в Пирса и Шеффера 03.02.2016, 15:23. Показов 4137. Ответов 1 Метки нет (Все метки) уважаемые форумчане скажите верно ли равенство? ИЗ Буля в Шеффера $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{x_{1}}x_{3}+\bar{x_{1}}x_{2}x_{4}+x_{2}x_{3}x_{4}=(x_{1}\|x_{1})\|(x_{1}\|x_{3})\|((x_{1}\|x_{1})\|x_{2}\|x_{4})\|(x_{2}\|x_{3}\|x_{4})$ а как перейти из Буля в Пирса ? [latex] Добавлено через 20 часов 38 минут понял свою ошибку что нельзя сразу три знака менять, нужно по два... выходит что здесь получаются очень большие преобразования... 0

@AdmiralHood 476 / 279 / 90 Регистрация: 15.11.2013 Сообщений: 530
	08.02.2016, 05:11	2
	Сообщение было отмечено Shura_deg как решение Решение Вам нужно сначала определиться, что вы понимаете под операцией «штрих Шеффера». Это только двухаргументные операции или можно использовать функции с тремя или более аргументами. Если разрешено только два аргумента, то придётся трёхвходовые операции реализовывать через двухвходовые. Примерно так (a\|b\|c)=[(a\|b)\|(a\|b)]\|c. Если хотите преобразовать в базис Пирса, то нужно сначала построить КНФ, а потом точно так же преобразовать КНФ в Пирса, как вы преобразуете ДНФ в Шеффера. 1

ИЗ Буля в Пирса и Шеффера

Решение