Truth table proofs

From Computer Science
Revision as of 14:44, 29 August 2022 by Jkinne (talk | contribs)
Jump to: navigation, search

Truth tables are used to show all possible values that a given logical expression might take. For example, the following gives the definition of the logical AND operation.

caption="Truth table for ⋀ (logical AND)"
A B A ⋀ B
false false false
false true false
true false false
true true true