Логические выражения

[nikon_nlg]

Люблю я своих родственников, но не когда они просят решить информатику.

Итак, вопрос на сто миллионов: упростить выражение not(A&(B or not C) or not(A & B))
Прочитав наискосок закон Моргана и т.д., получилось:
not ( ((A&B)v(A& not C)) v not(A&B))
если сократить (A&B) и not(A&B) останется not(A & not C)

Я прав? Дальше нечего делать?

P.S. Хер там. составив таблицу истинности для двух выражений получил расхождение. Требуется помощь зала.