[4] En 2002, Seth Gilbert y Nancy Lynch, del MIT, publicaron una demostración formal de la conjetura, convirtiéndola en un teorema.
Al elegir la consistencia sobre la disponibilidad, el sistema devolverá un error o un tiempo de espera si no se puede garantizar que la información particular esté actualizada debido a la partición de la red.
Al elegir la disponibilidad sobre la coherencia, el sistema siempre procesará la consulta e intentará devolver la versión disponible más reciente de la información, incluso si no puede garantizar que esté actualizada debido a la partición de la red.
Con frecuencia, la CAP se malinterpreta como si uno tuviera que elegir abandonar una de las tres garantías en todo momento.
Muchos proveedores de bases de datos NoSQL han utilizado el teorema CAP como justificación para no proporcionar consistencia ACID transaccional, alegando que el teorema CAP "demuestra" que es imposible proporcionar escalabilidad y consistencia ACID al mismo tiempo.