Update ExclusiveDisjunction.js