3.9.out z = x => (y => z) ]]> ~ y) v ~ (y -> ~ x) ]]> ~ y) v ~ (y -> ~ x) = x * y ]]> y = (x -> y) ^ (~ y -> ~ x) ]]> def)") ]]> y) ^ (~ y -> ~ x) = x => y ]]> ~ y = y => x ]]> (y => z) = y => (x => z) ]]> c3 != c1 => (c2 => c3) ]]> ~ y) ^ (y -> ~ x)) = x * y ]]> ~ y) ^ (y -> ~ x) = x => ~ y ]]> y = ~ y => x ]]> (y => ~ z) = y => (z => x) ]]> ~ y) = x * y ]]> (y => ~ z) = (y * z) => x ]]> z = x => (y => z) ]]>