ternarylogic