Neposredna algebrska logika