Помогите упростить F=(A->)v(B->A) F=неA v неВ v неС v A v B v C F= A&CvнеА&С F=не(X&Yv не(Х&Y))

Вопрос школьника по предмету Информатика

Помогите упростить
F=(A->)v(B->A)
F=неA v неВ v неС v A v B v C
F= A&CvнеА&С
F=не(X&Yv не(Х&Y))

Ответ учителя по предмету Информатика

Вот, на фото

тут надо минимум 20 символов, поэтому я тут фигню пишу