4.6.out y) ^ (x -> z) = x -> (y ^ z) ]]> y = x => (x => y) ]]> def)") ]]> (x => y) = x -> y ]]> y) ^ (x => z) = x => (y ^ z) ]]> c2) ^ (c1 -> c3) != c1 -> (c2 ^ c3) ]]> ((x => y) ^ z) = (x -> y) ^ (x => z) ]]> (y ^ (x => z)) = (x -> z) ^ (x => y) ]]> ((x => y) ^ (x => z)) = (x -> z) ^ (x -> y) ]]> (x => (y ^ z)) = (x -> z) ^ (x -> y) ]]> y) ^ (x -> z) = x -> (z ^ y) ]]> y) ^ (x -> z) = x -> (y ^ z) ]]>