3.2.out (x => y) = x -> y ]]> y) ]]> y) ^ (x -> z) = x -> (y ^ z) ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> (x -> y) = x -> y ]]> y != 1 ]]> x != 1 ]]> y = 1 ]]> ~ y = y => x ]]> y) ^ y = y ]]> (x ^ y) = x => y ]]> (c1 => c2) != c1 -> c2 ]]> ((x -> y) ^ z) = (x -> y) ^ (x -> z) ]]> x = 1 ]]> y = ~ y => x ]]> x) = x ]]> (x ^ (x -> y)) = x => (~ x v y) ]]> y) => (x -> y) = 1 ]]> (y => x) = 1 ]]> y) = ~ x ]]> y) = x ]]> (x -> y)) => (x -> y) = 1 ]]> y) = x => y ]]> (x -> y) = x -> y ]]> y) = x ]]> (~ x v y) = x => (x -> y) ]]> (~ x v y) = x -> y ]]> (x => y) = x => (x => y) ]]> ((x -> y) ^ z) = x -> (y ^ z) ]]> (y ^ (~ y -> ~ x)) = x -> (x => y) ]]> (x => y) = x -> y ]]> (x => y) = x -> y ]]>