Comment by rini17

Abstract logical circuits are still leaky abstractions, for example hazards are possible.

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.