The value of l_x
The value of l_not_x
The ternary value encoded by the (l_x, l_not_x) value pair.
The value of l_x
The value of l_not_x
The ternary value encoded by the (l_x, l_not_x) value pair.
The value of the literal.
The corresponding ternary value.
Companion object allowing to create ternary values from dual rail encoded literals or from standard propositions.