| http://www.w3.org/ns/prov#value | - (1) A sc B=C, where A and B are inputs to a ternary logic device implementing the function, sc, and C is an output from the ternary logic device; (2) C sc B=A, if C and B where input to the ternary logic device; and (3) A sc C=B; if A and C were input to the ternary logic device; and Thus, the logic function associated with each truth table 70, 71 and 72 are designated sc1, sc2, and sc3, respectiv
|
