x = x
]]>
z = x => (y => z)
]]>
y) => y) = x
]]>
y = 1
]]>
y = x => (x => y)
]]>
def)")
]]>
(x => y) = x -> y
]]>
0
]]>
0 = ~ x
]]>
(y => z) = y => (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
y) ^ (z => y) = (x v z) => y
]]>
y) ^ y = y
]]>
y = x => y
]]>
x = 1
]]>
z = x -> (y -> z)
]]>
y)
]]>
x = 1
]]>
y = x -> y
]]>
(x => (y => z)) = (x * y) -> z
]]>
0 = x
]]>
((y ^ (x => z)) => z) = 1
]]>
(y => (x => z)) = y => (x -> z)
]]>
(y => (z => u)) = z => (x => (y => u))
]]>
0) = (x v y) => 0
]]>
x = y => x
]]>
z = y -> (x -> z)
]]>
y)
]]>
0) = x ^ ~ x
]]>
0 = x ^ (y => 0)
]]>
(y ^ z)) => (x => y) = 1
]]>
y) ^ y = y
]]>
x) ^ z) = (y -> x) ^ (x v z)
]]>
(y => x) = (x v y) -> x
]]>
((y ^ (x => z)) => z)) = x
]]>
(x -> z) = x -> z
]]>
((y => x) -> z) = x -> z
]]>
(y -> z) = y -> (x -> z)
]]>
((x => (y ^ z)) => y) = 1
]]>
((y * (y => x)) -> z) = (y * (y => x)) -> z
]]>
0 = ~ x ^ ~ y
]]>
0 = ~ x v y
]]>
(x ^ (y => 0)) = (~ x v y) -> 0
]]>
((y v x) => y) = (y v x) -> y
]]>
z)) => z) = x
]]>
z) => z) = x
]]>
(((y v x) => (z ^ u)) => z)) = x
]]>
(x => y) = (y v x) -> y
]]>
x = y -> x
]]>
(y => (x => (y => z))) = (x * y) -> z
]]>
(y => ((z ^ (y => (x => u))) => u)) = 1
]]>
(z => (u => 0)) = z => (u => (~ x v y))
]]>
x)) = (z -> x) ^ (x v y)
]]>
x)) = x v (y ^ ~ y)
]]>
(z ^ u)) => z) = x
]]>
(x => (y -> z)) = (x * y) -> z
]]>
z = x -> (y -> z)
]]>
y) ^ (y v x) = y v (x ^ ~ x)
]]>
(y -> ((y => x) -> z)) = (y * (y => x)) -> z
]]>
0) => y) = x
]]>
(((~ (x => y) v z) -> 0) => (z => y)) = 1
]]>
(((y v ~ (x => z)) -> 0) => (y => z)) = 1
]]>
(y => (((y v ~ (x => z)) -> 0) => z)) = 1
]]>
(y => (((y v ~ ~ x) -> 0) => 0)) = 1
]]>
(y => (((y v x) -> 0) => 0)) = 1
]]>
(y => ~ ((y v x) -> 0)) = 1
]]>
(y -> ((x => y) -> z)) = (x * (x => y)) -> z
]]>
y)) -> z = x -> (y -> z)
]]>
y)) -> z = x -> ((x => y) -> z)
]]>
((x => y) -> z) = x -> (y -> z)
]]>
y)) -> z = x -> (y -> z)
]]>
((x -> y) -> z) = x -> (y -> z)
]]>
(((x v y) -> x) -> z) = x -> z
]]>
((y -> x) -> z) = x -> z
]]>
y) ^ (y v x)) -> z = y -> z
]]>
z = x -> z
]]>
(y => ~ (y -> 0)) = 1
]]>
(z => ~ u) = z => (u => (~ x v y))
]]>
((x -> 0) => (~ y v y)) = 1
]]>
((x -> 0) => (y v ~ y)) = 1
]]>
((x -> (y -> 0)) => (z v ~ z)) = 1
]]>
0) ^ x) => (1 => (y v ~ y)) = 1
]]>
0)) => (1 => (y v ~ y)) = 1
]]>
(1 => (y v ~ y)) = 1
]]>
(y v ~ y) = 1
]]>
(y v ~ y)) = x ^ ~ x
]]>