Версия для печати темы

Нажмите сюда для просмотра этой темы в обычном формате

Образовательный студенческий форум _ Разное _ Приоритет операций

Автор: Sapsan 21.4.2008, 6:10

Дана функция

F(x,y,z)=zvНЕy+z^(zx->y)

+ - это сложение по модулю

Как раз это и интересует... По условию надо составить таблицу истинности. По-моему сначала вычисляется в скобках (z^x->y), потом z^(z^x->y), а дальше? Дизъюнкция z и НЕy или НЕy + z^(z^x->y)?

И еще, если можно, подскажите табличку истинности сложения по модулю.

Заранее благодарю.

Автор: tig81 21.4.2008, 9:19

Цитата(Sapsan @ 21.4.2008, 9:10) *

Дана функция

F(x,y,z)=zvНЕy+z^(zx->y)

+ - это сложение по модулю

Как раз это и интересует... По условию надо составить таблицу истинности. По-моему сначала вычисляется в скобках (z^x->y), потом z^(z^x->y), а дальше? Дизъюнкция z и НЕy или НЕy + z^(z^x->y)?

И еще, если можно, подскажите табличку истинности сложения по модулю.

Заранее благодарю.

А определение операции "Сложение по модулю" какое?
Посмотрите, может это то, что вы ищите: http://alglib.sources.ru/articles/logic.php#xor

Автор: Deft 21.4.2008, 15:21

(z^x->y) -> z^(z^x->y) -> not(y) -> дизъюнкция -> + z^(z^x->y).
Вроде бы так, потому что, насколько помню, отрицание имеет высший приоритет, затем дизъюнкция и т.д.

Автор: Sapsan 23.4.2008, 11:44

Отрицание - согласен... А, вот, в остальном... Я позднее нашел.

1) Отрицание
2) Коньюнкция
3) Сложение по модулю 2
4) Дизъюнкция
5) Импликация
6) Эквивалентность

Выходит, ошибаетесь...

Русская версия Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)