Tavole di verità
Le tavole di verità dicono come determinare il valore di verità di una formula composta.

XY X & Y X v Y X ==> Y X <==> Y
VVV VVV
VFF VFF
FVF VVF
FFF FVV
Xnot X
VF
FV