Ksenya

Помогите, пожалуйста, упростить выражения

_____
1)С->((A*B)+A)


2)A*B*C->(A=C) (= между А и В это эквивалентвность, три палочки должно быть)

_____
3)(A+C) (+) A*B*C ( (+) - это разделительная дизъюнкция, плюс в кружке)