This paper adopts definitions of the algebra described in documentation [1], in which is presented an extension of Allen-Givone implementation oriented algebra. In this paper,Boolean process is extended as multi-valued Boolean process to provide an analytical approach to MVL circuits representation to precisely describe logical and timing behavior simultaneously. Examples show it can be used in many disciplines such as testing, simulation and synthesis, having wide application prospect in the field of desig...