Abstract logical circuits are still leaky abstractions, for example hazards are possible. https://en.wikipedia.org/wiki/Hazard_(logic) https://en.wikipedia.org

Abstract logical circuits are still leaky abstractions, for example hazards are possible. https://en.wikipedia.org/wiki/Hazard_(logic) https://en.wikipedia.org/wiki/Hazard_(logic) Yes you can go even more abstract and ignore time flow completely and have pure boolean logic, but then it can't be practically implemented at all.