Introduction into ternary logic.