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