}Property 1:
}If one or more ternary
gate or logic network inputs are changed 1à1/2, or 0à1/2, the ternary outputs
will either remain unchanged or change to 1/2
}
}Property 2:
}If one or more ternary gate
or logic network inputs are changed 1/2à1, or 1/2 à 0, the ternary outputs
will either remain unchanged or change to 0 or 1
}
}Proof:
}E.B. Eichelberger – Hazard Detection in
Combinational and Sequential Switching Circuits, IBM Journal,1965.
}