Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis