two-valued logic

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

July 14, 2026

Quick Summary

Two-valued logic is a system where propositions can only have one of two truth values: true or false. This is the foundation of Boolean algebra, a mathematical system used to represent relationships between ideas or objects. In Boolean algebra, variables can represent either true (1) or false (0). This system is crucial for the design of circuits in digital computers, where logic gates process these binary inputs to produce outputs. While standard logic adheres to this two-valued system, some logicians have explored many-valued logic, which allows for more than two truth values.1234

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

7 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

formal logic
Nonstandard versions of PC
…system is often called the two-valued propositional calculus.) This idea has been challenged on various grounds. Following a suggestion made by Aristotle, some logicians have maintained that propositions about those events in the future that may or may not come to pass are neither true nor false but “neuter” in…
Read More
…system is often called the two-valued propositional calculus.) This idea has been challenged on various grounds. Following a suggestion made by Aristotle, some logicians have maintained that propositions about those events in the future that may or may not come to pass are neither true nor false but “neuter” in…
Read More