Para obtener más información sobre el problema SAT, lea el artículo sobre el problema de satisfacibilidad booleana .
