Repasalas, que te hace falta...
No existe la distributiva.... Tenes que aplicar las leyes de DeMorgan.
Not (X AND Y) <=> Not(X) OR Not(Y)
Not (X OR Y) <=> Not(X) AND Not(Y)
O en el chino básico que usan los lógicos...
La conjuncion de las negaciones es la negacion de las disyunciones
La disyunción de las negaciones es la negacion de las conjunciones
Saludos
Alberto
x OR y equivale a NOT(X) AND NOT(Y) por lo menos en logica....
NOT( NOT(x) AND NOT(y))
por distributiva:
NOT( NOT(x AND Y) )
negacion de negacion
x AND Y y veo que se busca x OR y
....guarda conozco de pequeños errores de logicas que son bastantes sensiblees
por las dudas voy a repasar logica y matematica discreta
Sin conexión 
Enviar correo
