compacte logica