Привет! Помогите пожалуйста...
1)Найти все существенные переменные следующей будевой функции.
F(x,y,z) = (x->(y->z))->((x->y)->(x->z))
2)Приведите формулу к совершенной дизъюнктивной нормальной форме
f(A,B,C) = не(A->(BvC))/\(B->(A/\C))
p.s Заранее благодарен
Поподробнее распишите пожалуйста и вышлите мне на мыло
wolf-950@mail.ru