Una implementación diferente de la lógica clásica puede elegir diferentes subconjuntos de funcionalmente completos de conectivos.