Difference between revisions of "Truth table proofs"

From Computer Science
Jump to: navigation, search
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.

caption="Truth table for ⋀ (logical AND)"
A B A ⋀ B
false false false
false true false
true false false
true true true