F=B+ABC+AC+AB
=B+ABC+AC+AB+A-A
=B+A(BC+C+B+1)-A
=B+A(B+1)(C+1)-A
=B+A-A
=B