(a and b and (c xor d)) || (c and d and (a xor b)) truth table