logica compatta