Debería ser más fácil implementar "iguales" con XOR que con AND y OR. Echa un vistazo al mapa de Karnaugh para ver un poco de "iguales" y luego mira el mapa de Karnaugh para XOR.
Supongo que usted NO tiene también (al menos para sus variables? (de lo contrario, no sé cómo lo hizo con AND y OR solo.)) Si no tiene NOT, entonces XOR puede usarse para falso:
A XOR 1 = NOT A.
Para el "mayor" y el "menos": en el peor de los casos, puede tomar su respuesta en forma de suma de productos y convertirla en todas las puertas NAND (por DeMorgan AB + CD = (A NAND B) NAND (C NAND D)). Pero probablemente puedas hacerlo mejor. De nuevo: mira el mapa de Karnaugh para tu problema. Luego mire el mapa de Karnaugh para XOR (2 bits). En cualquier momento que tenga un patrón similar a un tablero de ajedrez en su mapa de Karnaugh, probablemente pueda darle un buen uso al XOR.