Задача от Логика

[nikola.dichev01]

Здравейте, предварително се извинявам ако поствам темата в неправилния раздел, но просто не можах да намеря раздел "Логика".
Става дума за следната задача:
Създайте таблица на истинност за следния израз:
Y = -B ∧ ((-C ∨ A) ∧ (-C ∨ B)) ∨ C. - където -C означава NOT
Опростете израза до колкото е възможно с използването на Аксиоми и теореми на булевата алгебра като напишете името на всяка, която сте използвали. Сравнете резултатите с тея от таблицата на истинност.
Превърнете израза в съвкупност на множество и го решете с Диаграма на Вен.


Надявам се че някой ще може да ми помогне. Благодаря предварително за отделеното внимание!