Barrapunto

¿Seguro que es así?
a mí me sale otra cosa (no me hagas mucho caso que estoy aprendiendo, jeje):
(a?b)^(¬a?¬b)
Paso a forma clausulada:
(¬avb)^(bv¬a)
Elimino duplicados:
¬avb
¿?¿? Joer, no sé si estará bien, pero es un rato divertido ;)