((c%20and%20d)%20and%20(a%20xor%20b))%20or%20((a%20and%20b)%20and%20(c%20xor%20d))%20truth%20table