Si "a" tiene un complemento ¬"a", entonces también ¬"a" tiene un complemento, que es: