y v ~z > x (y v ~z más x) - CNF, DNF, calculadora tabla de verdad, generador de equivalencia lógica [¡Hay una RESPUESTA!]