Constructive Boolean circuits and the exactness of timed ternary simulation