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 |