FORMULA CONSISTENTE

Es cuando se obtienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales.