Форум умных людей

Задачи и головоломки => Помогите решить! => Тема начата: Riky от Апрель 15, 2013, 15:50:49



Название: Дискретная математика, упрощение.
Отправлено: Riky от Апрель 15, 2013, 15:50:49
Здравствуйте! Пожалуйста помогите упростить выражение:

f(x,y,z)=(x + y) -> (-y | z) ^ (z * y)

* - стрелка Пирса

Дошел до

(y $ z) -> (y ~ x)

& - дизъюнкция

Упростить нужно до двух знаков, а как дальше - не знаю.