ternary logic