from typing import Counter


def anf_xor(form1,form2):
    """
    (1^x)^(1^x^y) = 0^y
    >>> anf_xor([1,(1,)],[1,(1,),(2,)])
        [0, (2,)]
    """
    const = form1[0]^form2[0]
    xored = Counter(form1[1:])+Counter(form2[1:])
    return [const] + [ i for i in xored if xored[i]&1]