07-12-2013, 19:33
Que tal gente, a ver si me pueden dar una mano..estoy preparando el parcial de Discreta y me surgieron unas cuentas dudas de la guia de algebra de boole.
3) a ) \[\forall a, \forall b; a = b \Leftrightarrow ( a \wedge \bar{b} ) \vee ( \bar{a} \wedge b ) = 0_{b}\]
La implicacion \[\Rightarrow \] me salio pero la \[\Leftarrow \] no puedo llegar.
5) Para cada una de las siguientes expresiones booleanas dar la funcion booleana que determinan.
De este no entiendo que me pide. Pongo el primero que si alguien me puede explicar con los otros me arreglo.
\[E_{1}(x1,x2,x3) = x1 \vee (x2\wedge x3)\]
7) Dar la FND y FNC.
b) \[x1 \vee (x2\vee x3)\]
No estoy seguro si esta ya en forma canonica o hay q expandir agregando los x faltantes a cada uno de los x que estan. ( q seria re largo )
Gracias...Si alguien tiene duda de algun otro pregunten que creo q todo el resto los tengo bien y puedo explicarlos.
3) a ) \[\forall a, \forall b; a = b \Leftrightarrow ( a \wedge \bar{b} ) \vee ( \bar{a} \wedge b ) = 0_{b}\]
La implicacion \[\Rightarrow \] me salio pero la \[\Leftarrow \] no puedo llegar.
5) Para cada una de las siguientes expresiones booleanas dar la funcion booleana que determinan.
De este no entiendo que me pide. Pongo el primero que si alguien me puede explicar con los otros me arreglo.
\[E_{1}(x1,x2,x3) = x1 \vee (x2\wedge x3)\]
7) Dar la FND y FNC.
b) \[x1 \vee (x2\vee x3)\]
No estoy seguro si esta ya en forma canonica o hay q expandir agregando los x faltantes a cada uno de los x que estan. ( q seria re largo )
Gracias...Si alguien tiene duda de algun otro pregunten que creo q todo el resto los tengo bien y puedo explicarlos.