Construcción de la Forma Canónica Disyuntiva para una Función Lógica

Se muestra el procedimiento para construir la Forma Canónica Disyuntiva de una función lógica cuando se conoce su tabla de verdad. Se llama "Disyuntiva" porque la fórmula resultante está en forma normal disyuntiva, es decir, ninguna disyunción aparece dentro de una conjunción, ni dentro de una negación, y ninguna conjunción aparece dentro de una negación, y todo lo que no sea una disyunción o una conjunción es una proposición atómica o atómica negada.