El primero tiene un error en la simplificación algebraica, me parece que hacés la distributiva en (a + b!) . c, pero a su vez todo eso está en and con a . b!, y me parece que vos hacés el OR. En todo caso podés comprobar que a = 0, b = 0, c = 0, la expresión debería dar 0 (evaluá la expresión).