Ternary models of statements in register transfer languages

Ternary models of the basic statements of register transfer languages are developed. The relationship between ternary functions and Boolean differential calculus is established. So as to obtain models of logical and conditional statements. Functional ternary models are developed for the arithmetical and relation statements that require but three comparisons or arithmetical operations.