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