Fact-checked by Grok 2 weeks ago

Ternary

Ternary is an denoting something composed of, relating to, or proceeding by , derived from the Latin ternarius, meaning "three each," and first used in English in the . This term encompasses structures, systems, or processes involving three fundamental components or states across diverse fields such as , , , and . In , ternary most prominently describes the , also known as base-3, which represents numbers using only the digits 0, 1, and 2, with each position corresponding to a power of 3. For example, the ternary number 10 equals 3 in decimal (base-10), and 100 equals 9, making it a analogous to (base-2) but with greater informational density per digit. This system has historical roots in ancient counting methods and finds applications in variants, where digits can be -1, 0, or 1, optimizing arithmetic operations without signs. In music theory, ternary form refers to a three-part compositional structure denoted as , where the first section (A) is restated after a contrasting middle section (B), providing balance and resolution in pieces like minuets or songs. This form contrasts with (AB) by returning to the initial material, often with modifications, and is common in classical works by composers such as Beethoven. In , a is a substance containing three distinct elements, which may be ionic or covalent, such as (Na₂SO₄) or (H₂SO₄). Ionic ternary compounds are named by listing the cation first followed by the polyatomic anion, and they play key roles in , including ternary alloys and molten salts used in advanced energy storage. In , ternary logic extends systems by incorporating three states (typically -1, 0, +1), enabling more efficient data representation and operations in ternary computers, although hardware challenges persist, recent advancements as of 2025 have produced prototype chips and systems. Historical examples include the Soviet computer from the , which demonstrated potential advantages in density and power efficiency over designs.

Numeral Systems

Fundamentals of Ternary Numerals

The ternary numeral system is a positional numeral system with base 3 that uses the digits 0, 1, and 2 to represent values, where each digit is termed a trit (short for trinary digit). In ternary notation, the place values correspond to successive powers of 3, starting from the rightmost digit as $3^0 = 1, then $3^1 = 3, $3^2 = 9, $3^3 = 27, and higher positive powers for positions to the left of the radix point. For the fractional part to the right of the radix point, place values use negative powers, such as $3^{-1} = \frac{1}{3}, $3^{-2} = \frac{1}{9}, $3^{-3} = \frac{1}{27}, and so on. This structure allows ternary to express both integers and fractions compactly, with the overall value of a number given by the weighted sum of its digits multiplied by these powers. A single trit encodes \log_2 3 \approx 1.58496 bits of , exceeding the 1 bit capacity of a and offering greater information density; thus, ternary representations can convey equivalent data more efficiently than with fewer . Conversion from to ternary involves repeated by 3, using the remainders (0, 1, or 2) as from least significant to most significant. For instance, converting decimal 10: divide 10 by 3 to get 3 and 1; divide 3 by 3 to get 1 and 0; divide 1 by 3 to get 0 and 1; reading remainders upward yields $101_3, verified as $1 \times 3^2 + 0 \times 3^1 + 1 \times 3^0 = 9 + 0 + 1 = 10. To convert ternary back to , multiply each by its place value power of 3 and sum the results. For , multiply the by 3 repeatedly, recording the integer part (0, 1, or 2) as the next and continuing with the new fractional . The historical roots of ternary systems appear in ancient counting practices, notably among the Sumerians, who utilized a ternary numeration based on the unit peš ("three") for early numerical representations predating their more widespread system. However, this ternary system was secondary to their primary (base-60) numeration.

Balanced Ternary

Balanced ternary is a that represents integers using the digits −1, , and +, typically denoted as ¯1 (or T), , and , respectively, eliminating the need for a separate to indicate positive or negative values. In this system, each digit position corresponds to a power of 3, where the digit contributes a signed : + multiplies the power by positive , by zero, and −1 by negative , allowing symmetric representation around zero. For example, the decimal number 5 is represented as 1¯1¯1 in balanced ternary, equivalent to $1 \times 3^2 + (-1) \times 3^1 + (-1) \times 3^0 = 9 - 3 - 1 = 5. Another example is 19 = 1¯01, equivalent to $1 \times 3^3 + (-1) \times 3^2 + 0 \times 3^1 + [1](/page/1) \times 3^0 = 27 - 9 + 0 + [1](/page/1) = 19. The conversion from a to follows a modified : repeatedly divide the number by 3 and examine the ; if the is 0 or , use it directly as the ; if it is 2, record −1 for that and add 1 to the for the next . This adjustment ensures the digits stay within {−1, 0, +1} while correctly accumulating the value through the powers of 3. For instance, converting 2: 2 ÷ 3 = 0 2 → −1, carry 1; then 0 + 1 = 1 ÷ 3 = 0 → 1, so 1¯1 (1 × 3 − 1 = 2). A key property of balanced ternary is its unique representation: every integer has precisely one balanced ternary form without leading zeros, avoiding the ambiguities found in other signed-digit systems. This uniqueness arises from the symmetric digit set centered at zero, which prevents multiple equivalent expansions. Although conceptualized as early as 1726 by John Colson in a discussion of signed-digit arithmetic, balanced ternary remained rare until the 19th century, when Augustin Cauchy analyzed signed digits in 1840 and Léon Lalanne introduced a dedicated notation for it in the same year, followed by Thomas Fowler's construction of a mechanical calculator based on the system. It received further attention in the 1940s during the design of early electronic computers at the Moore School of Electrical Engineering, University of Pennsylvania. Balanced ternary offers computational advantages, including simplified arithmetic where is performed identically to (by negating the subtrahend, which simply interchanges 1 and ¯1 digits), eliminating borrowing operations common in systems. It also provides higher efficiency for than two's , requiring roughly \log_3 2 \approx 0.63 times the digits of for the same range, thus potentially reducing storage and wiring in hardware implementations.

Arithmetic in Ternary

Arithmetic in ternary numeral systems follows procedures analogous to those in binary and decimal systems, adapted for base 3 with digits 0, 1, and 2 in standard ternary or -1, 0, and +1 (often denoted as T, 0, 1) in balanced ternary. These operations leverage the place-value structure, where each position represents a power of 3, to compute sums, differences, products, and quotients efficiently. Addition proceeds column-wise from the least significant (right to left), summing the plus any incoming carry and generating an outgoing carry if the total reaches or exceeds 3 in standard ternary. The carry is ((a + b + carry_in)/3), and the is (a + b + carry_in) mod 3, where a and b are the (0-2). For example, adding ₃ + ₃ yields 2₃ with no carry, while 2₃ + 2₃ = 4₁₀ = 1₃ with a carry of to the next column, resulting in 11₃. In , the process uses a full with possible carries of -, 0, or +; a carry of + occurs if at least two inputs are + without a -, and - if at least two are - without a +, ensuring symmetric handling without separate borrow steps. Subtraction in standard ternary mirrors but involves borrowing when the minuend digit is smaller than the subtrahend, subtracting 3 from the current column and adding 1 to the borrow for the next higher column. The borrow table specifies outcomes like 1₃ - 2₃ = 2₃ with a borrow of 1. simplifies subtraction through negation: flip the signs of the subtrahend's digits ( +1 to -1 and vice versa), then perform addition as above, eliminating explicit borrowing due to the symmetric set. For instance, to compute 1T₃ - -1₃ (where T = -1), negate -1 to +1, yielding 1T₃ + 1₃ = 10₃. Multiplication employs a shift-and-add , similar to but shifting left by one position (multiplying by 3) for each subtrahend that is nonzero, then adding the partial products. In standard ternary, the single-trit defines products like 2₃ × 2₃ = 1₃ with carry 1. An example is 11₃ × 2₃: Compute 2 × 11₃ by multiplying each : units 1×2=2, threes 1×2=2, resulting in 22₃ (verified as 2×3 + 2×1 = 8_{10} = 22₃). Balanced ternary follows a comparable approach, with adjustments for signed digits. Division uses a , akin to , where the is aligned with the leading s of the , the is estimated by dividing the current partial by the 's leading (floored to 0-2), the trial multiple is subtracted, and the next is brought down; are handled similarly, ensuring 0 ≤ remainder < . In standard ternary, this involves trit comparisons and restorations if subtraction yields negative. For example, dividing 100₃ (9₁₀) by 2₃ (2₁₀): First, 10₃ ÷ 2₃ = 1₃, 1₃ × 2₃ = 2₃, subtract from 10₃ to get 1₃ (after alignment and borrow); bring down 0 to make 10₃, 10₃ ÷ 2₃ = 1₃, 1₃ × 2₃ = 2₃, subtract to get 1₃ . Thus, 11₃ (4₁₀), 1₃ (1₁₀), since 11₃ × 2₃ = 22₃ = 8₁₀, 9 - 8 = 1. Balanced ternary division adapts similarly, with signed adjustments. Ternary arithmetic offers efficiency in representation, requiring approximately \log_3 N trits to store a number N, compared to \log_2 N bits in binary, where \log_3 N \approx 0.6309 \log_2 N, thus using about 63% as many digits for the same range and reducing storage needs. However, hardware implementation incurs greater complexity due to managing three states per digit versus two in binary, leading to more intricate circuits for adders and multipliers despite the digit savings.

Ternary Logic

Principles of Three-Valued Logic

Three-valued logic (3VL), also known as trivalent logic, extends classical binary logic by incorporating three distinct truth values: true (T), false (F), and a third value, typically denoted as undefined (U), indeterminate (I), unknown (U), or sometimes interpreted as both/neither. This third value allows for the representation of statements that cannot be straightforwardly classified as true or false, providing a framework for handling incomplete information or undecidable propositions. The primary motivations for developing 3VL stem from the need to address uncertainty, partial truth, and scenarios where classical logic's bivalence leads to inadequacies, such as in . For instance, in Stephen Kleene's seminal 1938 work on , the third value captures outcomes of partial computations that neither converge to true nor false, such as non-halting procedures, thereby modeling the indeterminacy inherent in . This approach has broader implications for formal systems dealing with vagueness or incomplete knowledge. Basic logical operations in 3VL are defined through truth tables that extend binary counterparts while preserving certain intuitive properties. Negation (¬) inverts T to F and F to T but leaves U unchanged: \begin{array}{c|c} p & \neg p \\ \hline \mathrm{T} & \mathrm{F} \\ \mathrm{U} & \mathrm{U} \\ \mathrm{F} & \mathrm{T} \\ \end{array} Conjunction (∧) often employs a minimum operation (treating T > U > F), yielding T only if both inputs are T, F if any input is F, and U otherwise: \begin{array}{c|ccc} \wedge & \mathrm{T} & \mathrm{U} & \mathrm{F} \\ \hline \mathrm{T} & \mathrm{T} & \mathrm{U} & \mathrm{F} \\ \mathrm{U} & \mathrm{U} & \mathrm{U} & \mathrm{F} \\ \mathrm{F} & \mathrm{F} & \mathrm{F} & \mathrm{F} \\ \end{array} Disjunction (∨) uses the maximum, yielding F only if both inputs are F, T if any is T, and U otherwise: \begin{array}{c|ccc} \vee & \mathrm{T} & \mathrm{U} & \mathrm{F} \\ \hline \mathrm{T} & \mathrm{T} & \mathrm{T} & \mathrm{T} \\ \mathrm{U} & \mathrm{T} & \mathrm{U} & \mathrm{U} \\ \mathrm{F} & \mathrm{T} & \mathrm{U} & \mathrm{F} \\ \end{array} $$ These definitions ensure that U propagates in a manner consistent with [ignorance](/page/Ignorance) or indeterminacy, such as T ∧ U = U and F ∨ U = U. The introduction of a third value has significant implications for resolving logical paradoxes that arise in binary systems. In the case of the [Liar paradox](/page/Liar_paradox)—a self-referential [statement](/page/Statement) like "This sentence is false"—assignment of T leads to contradiction (implying F), and F similarly cycles back; instead, 3VL assigns U to such sentences, avoiding bivalence-induced inconsistency by treating them as neither true nor false.[](https://www.impan.pl/~kz/truthseminar/Kripke_Outline.pdf) Compared to binary logic, which admits 2^{2^n} possible n-ary truth functions, 3VL offers 3^{3^n} possible functions, yielding a vastly expanded repertoire of connectives; for example, there are 27 possible unary functions in 3VL versus 4 in binary logic, and 19683 binary functions versus 16. This proliferation enables more nuanced modeling but requires careful selection of operations to maintain desirable logical properties. ### Systems and Implementations One prominent system in ternary logic is Kleene's strong three-valued logic, denoted K3, introduced by Stephen Kleene in 1938 to model partial recursive functions where computations may yield undefined results.[](https://plato.stanford.edu/entries/logic-manyvalued/) In K3, the truth values are false (0), undefined (½), and true (1), with only 1 designated as true; the undefined value propagates contagiously through operations, such as in conjunction where undefined ∧ true = undefined, reflecting incomplete information in computations.[](https://plato.stanford.edu/entries/logic-manyvalued/) The key connectives follow Kleene's strong tables: negation is $ \neg u = 1 - u $ (fixing undefined at ½), conjunction is $ u \land v = \min(u, v) $, and disjunction is $ u \lor v = \max(u, v) $.[](https://plato.stanford.edu/entries/logic-manyvalued/) Another foundational system is Łukasiewicz's three-valued logic, L₃, developed by Jan Łukasiewicz in 1920 to address future contingents and modal possibilities, later extended to [fuzzy logic](/page/Fuzzy_logic) frameworks.[](https://plato.stanford.edu/entries/logic-manyvalued/) It uses truth values 0 (false), ½ (possible or [intermediate](/page/Intermediate)), and 1 (true), with only 1 designated; negation is $ \neg u = 1 - u $, preserving ½ as a fixed point.[](https://plato.stanford.edu/entries/logic-manyvalued/) Conjunction is defined as the strong operation $ u \land v = \max(0, u + v - 1) $, while implication uses $ u \to v = \min(1, 1 - u + v) $, enabling continuous generalizations to infinite-valued logics for handling degrees of truth in uncertain reasoning.[](https://plato.stanford.edu/entries/logic-manyvalued/) Graham Priest's Logic of Paradox (LP), introduced in 1979, adapts Łukasiewicz's structure to paraconsistent reasoning, assigning truth values true (T), false (F), and both (B, a glut value), with both T and B designated to accommodate [dialetheias](/page/Dialetheism)—true contradictions.[](https://plato.stanford.edu/entries/dialetheism/) In LP, the third value represents glutty truths where propositions are both true and false, as in semantic paradoxes like the Liar [sentence](/page/Sentence), without triggering logical explosion due to paraconsistent consequence relations.[](https://plato.stanford.edu/entries/dialetheism/) Connectives inherit Łukasiewicz semantics, such as [negation](/page/Negation) mapping B to itself and [implication](/page/Implication) $ p \to q = \min(1, 1 - p + q) $, supporting dialetheist metaphysics by rejecting [the law of non-contradiction](/page/The_Law_of_Non-Contradiction) in limited cases.[](https://plato.stanford.edu/entries/dialetheism/) Practical implementations of ternary logic appear in database systems like SQL, which employs a three-valued logic with true, false, and unknown ([NULL](/page/Null)) to handle [missing data](/page/Missing_data).[](https://learn.microsoft.com/en-us/sql/relational-databases/clr-integration-database-objects-types-net-framework/nullability-and-three-value-logic-comparisons?view=sql-server-ver17) In SQL semantics, NULL propagates similarly to undefined in K3: NOT NULL evaluates to NULL, and comparisons like NULL = true yield unknown, preventing unintended inferences from incomplete information.[](https://learn.microsoft.com/en-us/sql/relational-databases/clr-integration-database-objects-types-net-framework/nullability-and-three-value-logic-comparisons?view=sql-server-ver17) Software libraries also facilitate ternary computations; for instance, the [Python](/page/Python) package trinary implements K3 logic, allowing statements with true, false, and unknown values using operators that mimic contagious propagation, such as unknown & true = unknown.[](https://github.com/travisjungroth/trinary) In metaphysics, ternary logics address [vagueness](/page/Vagueness) and paradoxes like the sorites, where borderline cases (e.g., "a heap of sand") lack sharp true/false boundaries.[](https://plato.stanford.edu/entries/sorites-paradox/) Systems like K3 model indeterminate predicates by assigning the third value to penumbral regions, blocking sorites chains without higher-order vagueness; proponents such as Stephen Körner (1960) and Michael Tye (1994) apply this to divide extensions into positive, negative, and indeterminate sets, preserving bivalence's intuitive appeal while resolving paradoxical tolerance arguments.[](https://plato.stanford.edu/entries/sorites-paradox/) ## Ternary Computing ### Historical Developments Early concepts of ternary computing emerged in the [19th century](/page/19th_century) with proposals for [balanced ternary](/page/Balanced_ternary) numeral systems, which use digits -1, 0, and 1 to represent values symmetrically around zero. In 1840, English inventor Thomas Fowler constructed a mechanical calculating machine based on [balanced ternary](/page/Balanced_ternary) arithmetic, utilizing wooden components to perform addition, subtraction, multiplication, and division; this device demonstrated the potential for ternary representation to simplify certain mechanical operations compared to [binary](/page/Binary) or [decimal](/page/Decimal) systems. By the mid-20th century, interest in ternary systems grew due to perceived efficiency gains in hardware, particularly for vacuum tube-based designs where three stable states could reduce component count; however, these early proposals, such as those explored in 1950 engineering reports on high-speed [computing](/page/Computing) devices, emphasized ternary's radix-width metric for minimizing costs but did not lead to widespread implementation.[](https://www.americanscientist.org/article/third-base) The first operational electronic ternary computer, [Setun](/page/Setun), was developed in 1958 at [Moscow State University](/page/Moscow_State_University) under the leadership of Nikolai Brusentsov. This machine employed [balanced ternary](/page/Balanced_ternary) logic with ferrite cores magnetized to represent the states -1, 0, and 1, enabling compact data representation and arithmetic operations without sign bits. [Setun](/page/Setun) featured 18-trit registers and commands, supported 48 basic operations, and achieved processing speeds suitable for its era, with serial production yielding approximately 50 units between 1959 and 1965 at the Kazan Mathematical Machinery Plant before discontinuation.[](https://dl.ifip.org/db/conf/ifip9/sorucom2006/BrusentsovA06.pdf) A successor, [Setun-70](/page/Setun), was introduced in 1970 as an experimental two-stack architecture also using [balanced ternary](/page/Balanced_ternary), incorporating advancements like interpretive programming for structured code; however, only prototypes were built, and development halted amid administrative decisions favoring [binary](/page/Binary) systems.[](https://dl.ifip.org/db/conf/ifip9/sorucom2006/BrusentsovA06.pdf) The shift was influenced by Soviet efforts in the late [1960s](/page/1960s) to standardize computing around [IBM](/page/IBM) System/360-compatible architectures, prioritizing [interoperability](/page/Interoperability) over ternary's efficiency advantages.[](https://monoskop.org/Computing_and_cybernetics_in_CEE) In the West, ternary computing saw limited exploration during the 1950s, including Herbert Grosch's 1950 proposal for a ternary design in MIT's [Whirlwind](/page/Whirlwind) project to optimize [vacuum tube](/page/Vacuum_tube) usage, though it was ultimately rejected in favor of [binary](/page/Binary). By the 1970s, Gideon Frieder at the [State University of New York](/page/State_University_of_New_York) at [Buffalo](/page/Buffalo) developed TERNAC, a software [emulator](/page/Emulator) simulating a full [balanced ternary](/page/Balanced_ternary) computer on binary hardware to evaluate arithmetic and logic performance, highlighting ternary's potential for denser information storage but underscoring implementation hurdles.[](https://www.americanscientist.org/article/third-base) Ternary computing faced significant challenges, including the greater complexity of fabricating reliable three-state components compared to binary's simple on-off switches, which increased design and manufacturing costs. Post-World War II standardization around binary systems, driven by U.S. industry leaders like [IBM](/page/IBM), entrenched binary dominance, marginalizing ternary efforts; by the 1980s, these factors led to the near-abandonment of ternary hardware development in favor of scalable binary transistor and integrated circuit technologies.[](https://www.americanscientist.org/article/third-base) ### Modern Advancements Ternary computing offers inherent efficiency advantages over [binary](/page/Binary) systems, as each [trit](/page/Live_at_Wembley_July_16,_1988) can represent approximately 1.58 bits of [information](/page/Information), enabling about 58% more [data storage](/page/Data_storage) density per unit compared to bits.[](https://cs.stackexchange.com/questions/19084/information-capacity-of-ternary-based-system-over-binary-based) A 2024 analysis highlights that base-3 systems can reduce wiring complexity and the number of components needed for equivalent computations, potentially lowering overall hardware demands.[](https://www.quantamagazine.org/how-base-3-computing-beats-binary-20240809/) In the 2020s, the USN Ternary Research Group at the [University of South-Eastern Norway](/page/University_of_South-Eastern_Norway) has developed software emulators and prototypes to demonstrate ternary logic in practical applications, advancing the technological readiness of multi-valued logic systems.[](https://ternaryresearch.com/) [Northern Arizona University](/page/Northern_Arizona_University) (NAU) researchers have explored ternary state-based public-key encryption protocols, enhancing cybersecurity through increased [entropy](/page/Entropy) in key exchanges using three-valued states (-1, 0, +1).[](https://in.nau.edu/wp-content/uploads/sites/223/2019/11/Ternary-Computing-to-Stengthen-Cybersecurity-Development-of-Ternary-State-based-Public-Key-Exchange.pdf) [Huawei](/page/Huawei) unveiled the world's first ternary logic chip in September 2025, utilizing [balanced ternary](/page/Balanced_ternary) states to process data more efficiently than [binary](/page/Binary) counterparts.[](https://meta-quantum.today/?p=7960) Integrations with emerging technologies show promise for ternary approaches. In [quantum computing](/page/Quantum_computing), ternary qubits or qutrits enable advanced error correction codes, such as those encoding ternary logic to mitigate phase and bit-flip errors more effectively than [binary](/page/Binary) qubit schemes.[](https://link.aps.org/doi/10.1103/PhysRevA.97.052302) For neuromorphic chips, ternary states facilitate analog-like processing by representing uncertainty levels, as seen in 2025 designs for ternary neural networks that mimic biological decision-making with reduced precision requirements.[](https://www.sciencedirect.com/science/article/pii/S2590123024010168) Despite these advances, challenges persist, including fabrication difficulties with stable ternary transistors and compatibility with existing [binary](/page/Binary) infrastructure. Studies from 2024 indicate potential power savings of up to 30% in ternary multipliers and [logic](/page/Implication) circuits compared to binary equivalents, driven by fewer transistors and lower switching overhead.[](https://ieeexplore.ieee.org/document/10755970/) Looking ahead, ternary [computing](/page/Computing) holds potential for [AI](/page/Ai) applications in handling probabilistic uncertainty, where [three-valued logic](/page/Three-valued_logic) better models ambiguous data than binary systems, as explored in recent ternary [AI](/page/Ai) hardware prototypes.[](https://www.patrickseaman.com/beyond-binary-ternary-logic-shapes-next-gen-ai-hardware-led-by-drones/) In 2025, developments like high-performance ternary circuits using low-dimensional materials and optimized ternary optical computers have demonstrated superior [energy efficiency](/page/Energy_efficiency) for complex data processing tasks.[](https://www.science.org/doi/10.1126/sciadv.adt1909)[](https://www.nature.com/articles/s41598-025-00135-x) ## Other Applications ### In Chemistry and Materials In chemistry, ternary compounds are chemical substances composed of three distinct elements, typically named with the cation first followed by the anion.[](https://www.sciencedirect.com/topics/engineering/ternary-compound) A classic example is [sodium hypochlorite](/page/Sodium_hypochlorite) (NaClO), an ionic ternary compound formed by sodium, [chlorine](/page/Chlorine), and oxygen, widely used as a [disinfectant](/page/Disinfectant) due to its oxidative properties.[](https://open.maricopa.edu/chm130mcc/chapter/3-5-naming-ionic-compounds/) These compounds often exhibit enhanced stability and unique properties compared to [binary](/page/Binary) counterparts; for instance, ternary graphene-based hydrogels incorporating silver nanoparticles demonstrate enhanced catalytic activity, attributed to the catalyst-carrying capacity of functionalized [graphene](/page/Graphene) and synergistic interactions between components.[](https://www.researchgate.net/publication/264613571_PAMgrapheneAg_ternary_hydrogel_Synthesis_characterization_and_catalytic_application) Such materials leverage the three-element structure to improve mechanical robustness and electrochemical performance in applications like supercapacitors.[](https://www.sciencedirect.com/science/article/abs/pii/S2405829724003106) Ternary phase diagrams provide triangular graphical representations of three-component systems, delineating regions of phase stability such as [solid](/page/Solid), [liquid](/page/Liquid), or gas equilibria under varying [temperature](/page/Temperature) and [composition](/page/Composition).[](https://www.doitpoms.ac.uk/tlplib/phase3_diagrams/printall.php) These diagrams are essential in [materials science](/page/Materials_science) for alloy design, as they predict phase behaviors and compatibility in multicomponent mixtures. In [petrology](/page/Petrology), the olivine-clinopyroxene-plagioclase ternary [diagram](/page/Diagram) models igneous rock formation, illustrating how fractional crystallization leads to [basalt](/page/Basalt) compositions by tracing liquid paths from high-temperature melts.[](https://www.doitpoms.ac.uk/tlplib/phase3_diagrams/printall.php) Within these diagrams, ternary eutectic points mark the lowest-temperature compositions where three solid phases coexist in equilibrium with a [liquid](/page/Liquid), facilitating the design of low-melting alloys.[](https://www2.tulane.edu/~sanelson/eens212/ternaryphdiag.htm) The ternary [lever rule](/page/Lever_rule) extends the [binary](/page/Binary) version to calculate phase proportions on these grids, using tie lines to apportion compositions across the triangular plot—for example, determining the relative amounts of coexisting phases in a three-component melt by measuring distances from the overall composition point.[](https://www2.tulane.edu/~sanelson/eens212/ternaryphdiag.htm) Ternary systems find applications in [nanotechnology](/page/Nanotechnology) through [chemical vapor deposition](/page/Chemical_vapor_deposition) (CVD) processes that yield hybrid films, such as graphene-carbon nanotube structures enhanced with metal catalysts like Mn-Ni-Co, which promote uniform growth and improve microwave absorption or supercapacitive performance.[](https://books.rsc.org/books/edited-volume/914/chapter/709744/Synthesis-of-Carbon-Nanotube-Graphene-Hybrids-by) In [analytical chemistry](/page/Analytical_chemistry), ternary mixtures involving acids, phosphates, and iron species aid ore dissolution; for instance, [hydrochloric acid](/page/Hydrochloric_acid) attacks on phosphate ores release iron phosphates, with kinetics influenced by [particle size distribution](/page/Particle-size_distribution) and achieving P₂O₅ leaching efficiencies greater than 80% under controlled conditions (e.g., 45°C, 6 minutes).[](https://www.sciencedirect.com/science/article/abs/pii/S0032591021005994) Recent advances include 2023 developments in two-dimensional (2D) ternary layered materials, such as bismuth oxyselenide (Bi₂O₂Se) nanosheets, synthesized via CVD or exfoliation for [electronics](/page/Electronics), offering tunable bandgaps and high carrier mobilities exceeding 100 cm²/V·s (up to 20,000 cm²/V·s at 1.9 K) for next-generation transistors and sensors.[](https://pmc.ncbi.nlm.nih.gov/articles/PMC10076031/) ### In Linguistics and Philosophy In linguistics, ternary contrasts appear in phonology through three-way distinctions in consonant features, such as [quantity](/page/Quantity) or [aspiration](/page/Aspiration), which extend beyond [binary](/page/Binary) oppositions like voiced versus voiceless. For instance, Inari Saami exhibits a ternary opposition in consonant [duration](/page/Duration), distinguishing short, half-long, and long geminates, realized acoustically through differences in closure and following vowel [duration](/page/Duration).[](https://kodu.ut.ee/~partel/papers/Markus_Lippus_Pajusalu_Teras_NPXI_final_proof.pdf) Similarly, [Estonian](/page/Estonian) maintains a three-way [quantity](/page/Quantity) contrast in stops, manifested articulatorily by varying durations and laryngeal settings in contexts like word-initial positions.[](https://www.journal-labphon.org/article/id/6213/) These contrasts highlight how ternary systems can encode more nuanced phonological information in certain languages compared to [binary](/page/Binary) models predominant in many Indo-European tongues.[](https://www.isca-archive.org/speechprosody_2014/turk14b_speechprosody.pdf) In syntax, ternary branching challenges the binary branching hypothesis that dominates [generative grammar](/page/Generative_grammar), where phrase structure trees typically split into two immediate constituents to capture hierarchical relations efficiently. Some analyses propose ternary structures for phenomena like coordination or adverb placement, allowing a single [node](/page/Node) to project three daughters—such as specifier, head, and complement—without intermediate bars, potentially simplifying representations for [non-binary](/page/Non-binary_gender) asymmetries.[](https://studenttheses.uu.nl/bitstream/handle/20.500.12932/13694/Thesis%2520BA%2520-%2520Binary%2520Branching%2520%2528final%2529.pdf?sequence=1) However, [empirical evidence](/page/Empirical_evidence) from [movement](/page/Movement) tests and [binding](/page/Binding) often favors binary branching for its explanatory power in cross-linguistic patterns, rendering ternary alternatives less adopted in mainstream frameworks.[](https://ocw.mit.edu/courses/24-902-language-and-its-structure-ii-syntax-fall-2015/3952515b5dbb21563cb3ed5df618fa85_MIT24_902F15_Class1.pdf) Philosophically, ternary dialectics in Hegelian logic structure reasoning as a progression from [thesis](/page/Thesis) to [antithesis](/page/Antithesis) and [synthesis](/page/Synthesis), transcending [binary](/page/Binary) oppositions by integrating contradictions into a higher unity, as seen in the development of concepts within *The Science of Logic*. This triadic movement, though not explicitly termed "thesis-antithesis-synthesis" by Hegel himself, underlies his method of resolving conceptual tensions through negation and sublation.[](https://plato.stanford.edu/entries/hegel-dialectics/) In ethics, trilemmas extend [binary](/page/Binary) dilemmas into three incompatible options, forcing reevaluation; for example, the [Euthyphro dilemma](/page/Euthyphro_dilemma) is sometimes framed as a [trilemma](/page/Trilemma) by adding that moral goodness is grounded in God's unchanging nature, challenging monotheistic accounts of morality.[](https://www.str.org/w/euthyphro-s-dilemma-1) Ternary concepts also inform interdisciplinary analogies, such as in [biology](/page/Biology) where ternary decision trees model ecological dynamics, like functional [diversity](/page/Diversity) in communities partitioned into rarity, dominance, and evenness to predict [biodiversity](/page/Biodiversity) thresholds.[](https://www.researchgate.net/publication/369625607_The_ternary_diagram_of_functional_diversity) In physics, ternary [energy](/page/Energy) diagrams visualize distributions across three forms (e.g., kinetic, potential, [thermal](/page/Thermal)), aiding pedagogical analysis of [conservation](/page/Conservation) in systems like collisions, as promoted in recent computational approaches.[](https://pubs.aip.org/aapt/pte/article/62/4/280/3279701/Bringing-Ternary-Energy-Diagrams-into-the) Overlaps with [three-valued logic](/page/Three-valued_logic) in philosophy briefly address paradoxes, such as the [liar paradox](/page/Liar_paradox), by assigning a third truth value (e.g., [undefined](/page/Undefined)) to self-referential statements, mitigating binary inconsistencies without full resolution.[](https://plato.stanford.edu/entries/logic-manyvalued/)

References

  1. [1]
    TERNARY Definition & Meaning - Merriam-Webster
    Oct 31, 2025 · The meaning of TERNARY is of, relating to, or proceeding by threes. How to use ternary in a sentence.
  2. [2]
    Ternary Definition (Illustrated Mathematics Dictionary) - Math is Fun
    Illustrated definition of Ternary: A Ternary Number uses only these 3 digits: 0, 1 and 2 Examples: 10 in Ternary equals 3 in the Decimal...Missing: numeral | Show results with:numeral
  3. [3]
    Ternary number system or Base 3 numbers - GeeksforGeeks
    Jul 12, 2025 · If the Base value of a number system is 3, then this representation is known as a ternary representation. The digits in this system are 0, 1, and 2.
  4. [4]
    Ternary numeral system - OeisWiki
    May 30, 2012 · The ternary numeral system (base 3) is a place-value notation for numbers using the powers of 3 rather than the powers of 10.
  5. [5]
    Ternary Form - Music Theory for the 21st-Century Classroom
    Section 24.7 Ternary Form​​ Ternary form is usually diagrammed as ABA and is described as “statement, digression, restatement.” 1. Green, Douglass M. Form in ...Missing: definition | Show results with:definition
  6. [6]
    37. Ternary and Rondo Forms – Fundamentals, Function, and Form
    We will begin with ternary form, a three-part form where the opening section comes back more or less intact after a contrasting middle section.
  7. [7]
    7.10: Ternary Ionic Compounds: Naming and Formulas
    Mar 20, 2025 · Ternary compounds are composed of three or more elements. Ternary compounds are named by stating the cation first, followed by the anion.
  8. [8]
    Definition of Ternary Compound - Chemistry Dictionary - Chemicool
    Definition of Ternary Compound ... A compound consisting of three elements; may be ionic or covalent.
  9. [9]
    Definition of ternary computer | PCMag
    A computer that uses ternary circuits comprising three stages rather than binary circuits, which operate in two. A ternary computer named Setun was built at ...
  10. [10]
    History-of-Ternary-Computers - GMU
    “Ternary means an element of a switching system which will ... of areas that might enable the computer designer to devise means of making the computer.
  11. [11]
    Ternary -- from Wolfram MathWorld
    The base-3 method of counting in which only the digits 0, 1, and 2 are used. Ternary numbers arise in a number of problems in mathematics, including some ...
  12. [12]
    Douglas W. Jones on Ternary Arithmetic
    Ternary numbers use base 3, as distinct from the binary (base 2) numbers usually associated with digital computers or the decimal (base 10) numbers of everyday ...
  13. [13]
    THE SUMERIAN TERNARY NUMERAL SYSTEM - jstor
    The system is based on the numeral pes, "three," but its origins and usage is still unknown. Tertiary numeral systems are rarely attested in the world s ...
  14. [14]
    (PDF) The Sumerian ternary system and the concept of number
    The Sumerians employed a ternary numeration system, predating the sexagesimal system. Sumerian ternary numerals gi and peš are tied to verbal actions and ...
  15. [15]
    The Art of Computer Programming: Positional Number Systems
    Jun 30, 2014 · The balanced ternary number system was mentioned only rarely for the next 100 years, until the development of the first electronic computers at ...
  16. [16]
    Balanced Ternary - Algorithms for Competitive Programming
    Apr 16, 2023 · Example 1: Let us convert 64 to balanced ternary. ... The final result is 1Z101 . Let us convert it back to the decimal system by adding the ...
  17. [17]
    [PDF] Ternary Digital Systems - Oregon State University
    Ternary arithmetic is similar to binary arithmetic or to decimal arithmetic. The following tables define the addition, subtraction, and multiplication of.Missing: numeral | Show results with:numeral
  18. [18]
    (PDF) Algorithms for Ternary Number System - Academia.edu
    Hardware algorithm for multiplication and division of two base-3 numbers In this Section we describe multiplication and division of two ternary numbers. 4.1 ...
  19. [19]
    [PDF] Number Representations and the Division Algorithm - CS@Cornell
    Common bases: Binary (2), Ternary (3), Octal (8), Decimal (10), Hexadecimal (16). All rules of arithmetic remain exactly the same, just remember 10.
  20. [20]
    [PDF] Can Ternary Computing Improve Information Assurance?
    Mar 2, 2018 · The advantage of binary over ternary computing is simpler hardware representation and design. Moore's law, which anticipates the possibility ...
  21. [21]
    [PDF] Outline of a Theory of Truth Saul Kripke The Journal of Philosophy ...
    Oct 8, 2007 · Outline of a Theory of Truth. Saul Kripke. The Journal of Philosophy ... * To be presented in an APA symposium on Truth, December 28, 1975.
  22. [22]
    Many-Valued Logic - Stanford Encyclopedia of Philosophy
    Apr 25, 2000 · Many-valued logics are non-classical logics. They are similar to classical logic because they accept the principle of truth-functionality.Semantics · Systems of Many-Valued Logic · Applications of Many-Valued...
  23. [23]
    Dialetheism - Stanford Encyclopedia of Philosophy
    Dec 4, 1998 · In 1979, Priest's paper “The Logic of Paradox”, developed eventually into the book In Contradiction (1987/2006), presented what are now the most ...Motivations for Dialetheism · Objections to Dialetheism · Dialetheism and Rationality
  24. [24]
    Nullability and Three-Value Logic Comparisons - SQL Server
    Dec 30, 2024 · When you compare two values x and y, if either x or y is NULL, then some logical comparisons evaluate to an UNKNOWN value rather than true or false.
  25. [25]
    travisjungroth/trinary: Trinary logic in Python - GitHub
    trinary is a Python library for working with three-valued logic. It allows you to represent and manipulate statements with three possible truth values.
  26. [26]
    Sorites Paradox - Stanford Encyclopedia of Philosophy
    Jan 17, 1997 · The Sorites Paradox arises from vague terms like 'heap', where reasoning leads to the absurd conclusion that no number of grains make a heap, ...
  27. [27]
    Third Base | American Scientist
    They are the Goldilocks choice among numbering systems: When base 2 is too small and base 10 is too big, base 3 is just right.Missing: log2( | Show results with:log2(
  28. [28]
    [PDF] Ternary Computers: The Setun and the Setun 70. - IFIP Digital Library
    Abstract. This paper presents a short history of the development ternary computers ―Setun‖ and ―Setun 70‖ at Moscow State University. It explains the.Missing: specifications ferrite cores
  29. [29]
    Computing and cybernetics in CEE - Monoskop
    In 1970, a new ternary computer, the Setun-70, was designed. Named after ... 120 kHz; 100 operations per second; bus 72 bits. 2 copies produced: one in ...
  30. [30]
    Information capacity of Ternary-based system over Binary-based
    Dec 18, 2013 · Now, for Ternary system, the gain is log2(3) ~ 1.58 times so we can store ~ 1.58 * 8 * 1024 "bits" or 8*1024 "trits". Correct? EDIT: sorry I ...
  31. [31]
    How Base 3 Computing Beats Binary - Quanta Magazine
    Aug 9, 2024 · Why didn't ternary computing catch on? The primary reason was convention. Even though Soviet scientists were building ternary devices, the rest ...
  32. [32]
    USN Ternary Research Group: Ternary is the new binary
    Later, in 1958 the first modern ternary computer was build by Russian engineer Brusenzov and his team [Hunger, 2007] at some scale.Missing: western 1950s<|control11|><|separator|>
  33. [33]
    [PDF] Ternary Computing to Stengthen Cybersecurity - in.nau.edu
    A balanced ternary arithmetic is based on the three states (-, 0, +), with the “-” replacing the binary “0”, and the “+ replacing the binary “1”, and the ...Missing: subtraction | Show results with:subtraction
  34. [34]
    Huawei has officially unveiled the world's first ternary logic chip
    Sep 2, 2025 · Huawei has unveiled the world's 1st ternary logic chip, utilizing three states (-1, 0, +1) instead of binary's two-state system.
  35. [35]
    Quantum error-correcting code for ternary logic | Phys. Rev. A
    May 2, 2018 · Ternary quantum systems are being studied because they provide more computational state space per unit of information, known as qutrit.
  36. [36]
    Design implementations of ternary logic systems: A critical review
    This paper provides a brief overview of the implementation of ternary logic systems and their related benefits for the design of digital logic circuit ...Review Article · 2.1. Cmos-Based Ternary... · 4.2. Ternary Adders &...
  37. [37]
    High Efficiency Multiply-Accumulator Using Ternary Logic and ...
    Nov 18, 2024 · We propose various ternary approximate algorithms which shows 30%-less power consumption and only 2% computation error when compared with the accurate design.Missing: computing savings
  38. [38]
    Beyond Binary: Ternary Logic Shapes Next-Gen AI Hardware, Led ...
    Sep 9, 2025 · The 2024-2025 breakthrough moment. Three major shifts converged to make ternary computing practical: Ternary AI models moved from lab ...
  39. [39]
    High-performance ternary logic circuits and neural networks based ...
    Jan 10, 2025 · This study represents the most advanced and highest-performing ternary circuits realized with low-dimensional materials to date.
  40. [40]
    Performance and energy optimization of ternary optical computers ...
    Apr 29, 2025 · The main objective of this study is to investigate the optimization trade-off between performance and energy consumption in TOC systems.Related Works · Toc Service Model · Performance Model<|control11|><|separator|>
  41. [41]
    Ternary Compound - an overview | ScienceDirect Topics
    Ternary compounds are defined as chemical compounds composed of three or more elements, where the cation is named first followed by the anion, ensuring that ...<|control11|><|separator|>
  42. [42]
    3.5: Naming Ionic Compounds and Hydrates
    The process of naming ternary ionic compounds is the same as naming binary ionic compounds. The cation is named first, followed by the anion. One example is ...
  43. [43]
    PAM/graphene/Ag ternary hydrogel: Synthesis, characterization and ...
    Aug 6, 2025 · In this work, a ternary polyacrylamide-based composite hydrogel with functionalized graphene and silver nanoparticles was fabricated by a ...
  44. [44]
    Ternary systems engineered conductive hydrogel with extraordinary ...
    Here, we fabricated a conductive hydrogel with excellent mechanical properties, environmental adaptability, and good electrochemical performance by using a ...
  45. [45]
    DoITPoMS Teaching & Learning Packages Ternary Phase Diagrams
    Ternary phase diagrams are used to analyse ternary systems (alloys composed of three components). They can also be used in the simplified analysis of higher ...
  46. [46]
    Ternary Phase Diagrams - Tulane University
    Jan 12, 2011 · These contours are called isotherms. Note that the eutectic points in each of the binary systems project into the ternary systems as curves.
  47. [47]
    Synthesis of Carbon Nanotube/Graphene Hybrids by Chemical ...
    May 7, 2021 · The Mn–Ni–Co ternary catalyst not only facilitates the growth of CNTs but is also essential to the reduction of GO. Additionally, the metal ...
  48. [48]
    Phosphate ore particles dissolution kinetics in hydrochloric acid ...
    The dissolution of phosphate ores in acidic medium is a liquid-solid non-catalytic reaction. Normally, the stage of the reaction includes mass transport in the ...
  49. [49]
    Recent Advances for the Synthesis and Applications of 2 ... - NIH
    In this review, we emphasize the recent progress made in synthesis and exploration of ternary layered materials.
  50. [50]
    [PDF] Three-way opposition of consonant quantity in Finnic and Saamic ...
    This paper focusses on the ternary contrast of consonant duration in three Finnic languages and Inari Saami. We show that the ternary contrast is found not only ...
  51. [51]
    Context-dependent articulation of consonant gemination in Estonian
    Nov 3, 2017 · Is the Estonian three-way quantity contrast manifested by a corresponding three-way distinction in articulatory characteristics? What are ...
  52. [52]
    [PDF] The ternary contrast of consonant duration in Inari Saami
    The ternary contrast is realized by the distinction of single consonants, short and long geminates (traditionally called half- long and long consonants), or ...Missing: contrasts | Show results with:contrasts
  53. [53]
    [PDF] Reviewing the Binary Branching Hypothesis
    The binary branching theory is a principle within syntax that restricts the way sentences are derived and represented in tree diagrams. The operation is called ...
  54. [54]
    [PDF] Introduction to Syntax
    So a syntactic tree is a binary branching tree. It is built by iteration of a structure-building operation which has been called “Merge”. Merge takes two ...
  55. [55]
    Hegel's Dialectics - Stanford Encyclopedia of Philosophy
    Jun 3, 2016 · “Dialectics” is a term used to describe a method of philosophical argument that involves some sort of contradictory process between opposing sides.
  56. [56]
    Euthyphro's Dilemma - Stand to Reason
    Dec 7, 2012 · The dilemma Euthyphro faced is this: Is a thing good simply because the gods say it is? Or do the gods say a thing is good because of some other quality it has?
  57. [57]
    (PDF) The ternary diagram of functional diversity - ResearchGate
    Mar 30, 2023 · Subsequently, to identify threshold points in the predictions, we employed decision trees, enabling us to unveil thriving and struggling areas.
  58. [58]
    Bringing Ternary Energy Diagrams into the Mainstream
    Apr 1, 2024 · A ternary energy diagram is a powerful tool for computational physics, used to model systems with energy distributed among three or more forms.
  59. [59]
    Exploiting Ternary Solubility Phase Diagrams for Resolution of ...
    Dec 12, 2019 · A guide in the interpretation of the ternary solubility phase diagram of a chiral molecule to design the separation of its enantiomers is provided.