logika kompaktna