Proof
Chat with our AI personalities
The conclusion or deduction.
"In logic and mathematics, a two-place logical connective or, is a logical disjunction, also known as inclusive disjunction or alternation, that results in true whenever one or more of its operands are true. E.g. in this context, "A or B" is true if A is true, or if B is true, or if both A and B are true" (Wikipedia)
The graphics facilities available in this browser do not lend themselves to creating truth tables. Hope the following survives the browser (ignore the dots: they are needed for spacing)...............| Y True | Y False|X True...| True ...| True ...|X False. | True ...| False...|
Boolean algebra deals with logic and truth as it pertains to sets and possibilities. It uses the and, or and not operators to set up truth tables to define if a statement is true or not.
an identity? maybe a tautology? Comment by mgately: In the field of discrete mathematics (simplified the study of logic) any expression which always evaluates to true is in fact called a tautology. While less cool sounding, an expression which always evaluates to false is just called a contradiction.