Ternary logic: Difference between revisions