Truth table proofs
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.
A | B | A ⋀ B | false | false | false |
---|---|---|---|---|---|
false | true | false | |||
true | false | false | |||
true | true | true |