This is documentation for Mathematica 5, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

Documentation / Mathematica / Built-in Functions / Algebraic Computation / Formula Manipulation /

Booleans

FilledSmallSquare Booleans represents the domain of booleans, as in x Booleans.

FilledSmallSquare The domain of booleans is taken to consist of the symbols True and False.

FilledSmallSquare x Booleans evaluates immediately if x is explicitly True or False.

FilledSmallSquare Simplify[expr Booleans] can be used to try to determine whether an expression is boolean, with no undetermined variables.

FilledSmallSquare Boolean is output in TraditionalForm as .

FilledSmallSquare See Section 3.3.10.

FilledSmallSquare See also: Element, Simplify, True, False, Integers.

FilledSmallSquare New in Version 4.

Further Examples