Problema de satisfactibilidad booleana