En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad.