Answer to Question #283929 in Discrete Mathematics for Torjan

Question

Obtain the Conjunctive Normal Form of (x^y) V (-x^y)

Answer 1

$xy+x'y=(xy+x')(xy+y)=(x+x')(x'+y)(x+y)(y+y)=$

$=(x'+y)(x+y)y$