Hi everyone For the expression A.~B.~C + A. B.~C + ~A.~C Using a map I get ~C is this anywhere near correct? Thanks a lot!