Difference between revisions of "Truth table proofs"
| Line 5: | Line 5: | ||
|- | |- | ||
! A !! B !! A ⋀ B | ! A !! B !! A ⋀ B | ||
| + | |- | ||
| false || false || false | | false || false || false | ||
|- | |- | ||
Revision as of 14:44, 29 August 2022
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 |
