ABEL permite describir un diseño concurrentemente mediante tablas de verdad o ecuaciones lógicas.