Están compuestas por una tabla con todos los posibles estados que pueden alcanzar las entradas del circuito, y sus correspondientes salidas.