Логическое выражение f=avavb сверху над а черта и ещё на аvb черта

Для удобства, знак отрицания здесь определяется как подчеркивание, ок?
---
F=A+(A+B)=A+A*B=A(1+B)=A