Дана функция

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

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

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

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

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

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

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

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