Intro summary to ternary logic implementations