Buenas, estaba mirando el video de openfing de la clase en la cual explican como encontrar una formula de PROP equivalente a la de conectivos n-arios.
En el ejemplo del video se hace una tabla y se le presta atención a las filas en las que el conecetivo n-ario es verdadero (tiene un 1), pero se dijo que tambien se podía prestar atención solamente a las columnas que tienen cero, y se puede definir una fórmula de PROP que va a ser equivalente a la que se lograría si se le prestar atención a las filas verdaderas.
En este caso particular:
Prestándole atención a los unos: v($(P0, p1)) = 1 sii (lo que dice en las filas con $=1) y formula de PROP equivalente a $ es la que está escrita en el pizarrón.
Prestándole atención a la fila donde está el cero: v($(P0, P1)) = 0 sii P0 = 0 y P1 = 1; una fórmula de PROP equivalente sería (not(not(P0) and P1)) ? esto es correcto?
Gracias de antemano