Нужно упростить формулу
http://s55..radikal.ru/i148/1002/7a/c6644cd2ae23.jpg
может кто помочь? спасибо))

//Если это объединения-пересечения

(x U y) n (x U z) n (t U b) n (t U c)

как бы не объединялись "x" с "y" и "z", пересечение даст опять "x"
(x U y) n (x U z) = x
Аналогично
(t U b) n (t U c) = t
Тогда
[(x U y) n (x U z)] n [(t U b) n (t U c)] = x n t

Это, т.е. совпадающие подмножества множеств "x" и "t", и есть решение в общем случае
Допуская, что "x" и "t" не имеют общего, т.е. при
x n t = 0
имеем нулевое пересечение, или 0

спасибо за решение))) но там значки не пересечения, а логическое сложение и умножение)
просто нарисовал коряво, в паинте не удобно)

Дизъюнкция и конъюнкция что-ли?
Ну тогда просто раскрывать все скобки, перемножая.
x*t+x*z*b*c+y*x*t+y*z*b*c

x*t+y*x*t=x*t (поглощение)

x*t+(x+y)*z*b*c
Больше хз

(x + y) * (x + z) * (t + b) * (t U c)
(x ИЛИ y) И (x ИЛИ z) И (t ИЛИ b) И (t ИЛИ c)
(x ИЛИ y) И (x ИЛИ z) = x
(t ИЛИ b) И (t ИЛИ c) = t
[(x ИЛИ y) И (x ИЛИ z)] И [(t ИЛИ b) И (t ИЛИ c)] = x И t

На здоровье