Difference between revisions of "Truth table proofs"
| Line 2: | Line 2: | ||
{| class="wikitable" | {| class="wikitable" | ||
| − | |+ caption="Truth table for & | + | |+ caption="Truth table for ∧ (logical AND)" |
|- | |- | ||
| − | ! A !! B !! A & | + | ! A !! B !! A ∧ B |
|- | |- | ||
| false || false || false | | false || false || false | ||
Revision as of 14:46, 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 |
