# 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 |