Boolean algebra is the study of truth values (true or false) and how many of these values can be related under certain constraints. Wolfram|Alpha works with Boolean algebra by computing truth tables, finding normal forms, constructing logic circuits and more.
Perform Boolean algebra by computing various properties and forms and generating various diagrams.
Visualize the logic circuit of an arbitrary Boolean expression.
Generate full truth tables for a Boolean function of many Boolean variables.
Calculate various normal forms of a Boolean expression.
Compute with Boolean functions specified by an integer index and the number of variables.