Diferencia simétrica de un conjunto

La DIFERENCIA SIMÉTRICA DE CONJUNTOS es la operación binaria, en la cual

dos conjuntos cuales quiera, A y B, especifican cuales elementos NO SON COMUNES
formando un nuevo conjunto llamado DIFERENCIA SIMÉTRICA.

La diferencia simétrica de dos conjuntos es el conjunto cuyos elementos son aquellos

que pertenecen a alguno de los conjuntos iniciales, sin pertenecer a ambos a la vez. Por
ejemplo, la diferencia simétrica de {2, 5,3} y {4, 2,3, 7} es {5, 4,7}.

Definir la función

diferencia Simétrica :: Eq a => [a] -> [a] -> [a]

Tal que (diferencia Simétrica xs ys) es la diferencia simétrica de xs e ys. Por ejemplo,

diferencia Simétrica [2,5,3] [4,2,3,7] == [5,4,7]

diferencia Simétrica [2,5,3] [5,2,3] == []
diferencia Simétrica [2,5,2] [4,2,3,7] == [5,4,3,7]
diferencia Simétrica [2,5,2] [4,2,4,7] == [5,4,4,7]
diferencia Simétrica [2,5,2,4] [4,2,4,7] == [5,7]

Soluciones

diferencia Simétrica :: Eq a => [a] -> [a] -> [a]

diferencia Simétrica xs ys =
[x | x <- xs, x `notElem` ys] ++ [y | y <- ys, y `notElem` xs]

Leyes de Morgan

Las leyes de De Morgan son una parte de la Lógica proposicional y analítica, y fueron
creadas por Augustus De Morgan (Madurai, 1806-Londres, 1871) La realidad es
producto del azar, y al azar en realidad se producen infinidad de universos, que a su vez
en Probabilidad Imposible se pueden clasificar en líneas generales en dos tipos de
universos, universos de sujetos u opciones infinitos, y universos de opciones limitadas.

Un universo es un conjunto de N elementos que forman una realidad susceptible de

estudio estadístico, pudiéndose definir a los N elementos como sujetos u opciones , en
función del tipo de naturaleza de los elementos que forman N, una naturaleza cuya
cualidad cuantitativa residirá en la forma de medirse su magnitud. En función del tipo
de universo al que pertenezca N, los elementos de N se pueden definir como sujetos en
tanto que opciones, o se pueden definir como opciones limitadas a priori.
Las Proposiciones 
Una proposición es una afirmación que puede recibir un valor de verdad falso (F), o
bien verdadero (V), pero no ambos a la vez. 

Su denotación generalmente la encontramos con las letras (p, q, r) 

Conectores Lógicos 
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el uso de
conectivos lógicos. Algunos de ellos son: 
^ “y” conjunción 
v “o” disyunción 
-> “si —, entonces” implicación 
<-> “si y sólo si” doble implicación 
¬ “no” negación 

Leyes de Morgan 
Son una parte de la Lógica proposicional, analítica ,y fueron creada por Augustus de
Morgan. 

Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones
pueden ser lógicamente equivalentes. 

Las Leyes de Morgan permiten: 

El cambio del operador de conjunción en operador de disyunción y viceversa. 
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan
pueden estar afirmadas o negadas (en todo o en sus partes). 

Casos: 
¬(P ^ Q) ≡ (¬P v ¬Q) 
Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposición disyuntiva con cada uno de su
miembros negados 

¬(P v Q) ≡ (¬P ^ ¬Q) 

Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus
miembros negados 

(P ^ Q) ≡ ¬ (¬ P v ¬ Q) 
Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposición disyuntiva negada en su totalidad y en sus
miembros. 

(P v Q) ≡ ¬(¬P ^ ¬Q) 
Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposición conjuntiva negada en su totalidad y en sus
miembros