Ternary Completeness Theorem: Functional Completeness of F₃ | Synapse