Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad.