True
A statement which is rigorously known to be correct. A statement which is not true is called false, although certain statements can be proved
to be rigorously undecidable within the confines
of a given set of assumptions and definitions. Regular two-valued logic
allows statements to be only true or false, but fuzzy
logic treats "truth" as a continuum which can have any value between
0 and 1. The symbol
is sometimes used to denote "true,"
although "T" is more commonly used in truth
tables.
ANF (~P || Q) && (P || ~Q)