boolean algebra simplifier with xor