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

XorTrue

Implies

FilledSmallSquareImplies[p, q] represents the logical implication .

FilledSmallSquareImplies[p, q] is equivalent to !p || q.

FilledSmallSquareImplies[p, q] can be input in StandardForm and InputForm as p q. The character can be entered as AliasIndicator=>AliasIndicator or \[Implies].

FilledSmallSquare See The Mathematica Book: Section 3.4.10.

FilledSmallSquare See also: LogicalExpand, If.

Further Examples

XorTrue