esto es parte de "algebra de proposiciones", es un tema que se estudia en matematicas discretas en las ingenierias de computacion.
yo estudio en ESCOM, en mexico y eso lo vi hace un año, jejje.
lorm_people lo hizo muy bien.
no esta tan dificil, solo te falta estudia un poquito mas y tener confianza en tus resultados.