5
$\begingroup$

I know that $X \iff Y$ is true when

  1. $X$ is True and $Y$ is True

  2. $X$ is False and $Y$ is False

I know that there is a simple algorithm to convert to CNF form, but I don't remember it...

  • 0
    How about $(X \land Y) \lor (\lnot X \land \lnot Y) = (\lnot X \lor Y) \land (X \lor \lnot Y)$2012-01-14

2 Answers 2

7

$(x \leftrightarrow y) \Leftrightarrow (x \rightarrow y) \land (y \rightarrow x) \Leftrightarrow (\lnot x \lor y) \land (\lnot y \lor x) $

  • 0
    @AsafKaragila,תודה2012-01-14
3

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