ej 10

ej 10

de Agustin Badt Pereiro -
Número de respuestas: 2

Hola, podrian explicarme como llegar a las formulas a partir de la tabla de valuaciones? Entiendo que para la normal disyuntiva tengo que ver los casos en donde la valuacion de la formula tiene como resultado 1. Pero como seria para la conjuntiva? Gracias.

En respuesta a Agustin Badt Pereiro

Re: ej 10

de Guillermo Calderon - InCo -

Buenas:

Para la forma normal conjuntiva miramos las valuaciones que asignan 0 a la formula.

A partir de cada fila que corresponde a un 0, se construye una disyunción mirando los valores que toman las variables de esa fila. Luego se considera la conjunción de todas esas disyunciones.

Es el método dual del usado para la FNC: se cambia 0 por 1, disyunción por conjunción, etc.

Este ejercicio también se puede resolver por el método algebraico, esto es aplicando equivalencias.