¿Cómo escribir$X \iff Y$ en formato CNF?

Question

Sé que$X \iff Y$ es cierto cuando

Sé que hay un algoritmo simple para convertir a formato CNF, pero no lo recuerdo ...

Preguntado el 14 de Enero, 2012 por Belgi

Answer 1

2 Respuestas

Answer 2

7voto

pedja Puntos 7773

PS

Respondido el 14 de Enero, 2012 por pedja (7773 Puntos )

Answer 3

3voto

haemhweg Puntos 1143

$(\neg X \vee Y)\wedge(X\vee\neg Y)$

Respondido el 14 de Enero, 2012 por haemhweg (1143 Puntos )

Respuestas