y) => ((z => x) => (z => y)) = 1
]]>
x = 1
]]>
y) ^ (x -> z) = x -> (y ^ z)
]]>
z = x -> (y -> z)
]]>
y = (x -> y) ^ (~ y -> ~ x)
]]>
def)")
]]>
y) ^ (~ y -> ~ x) = x => y
]]>
1 = 1
]]>
y) -> (x -> z) = x -> (y -> z)
]]>
(y -> z) = y -> (x -> z)
]]>
(x -> y) = x -> y
]]>
y) => y) = x
]]>
~ (x -> y) = x -> ~ y
]]>
y) -> z = x -> (~ y -> z)
]]>
y != 1
]]>
x != 1
]]>
y = 1
]]>
y = 1
]]>
~ y = y => x
]]>
y) ^ y = y
]]>
(x => y) = x -> y
]]>
c2) => ((c3 => c1) => (c3 => c2)) != 1
]]>
(~ y -> z) = ~ (x v y) -> z
]]>
(y -> z)) ^ (x -> (~ z -> ~ y)) = x -> (y => z)
]]>
(y -> y) = 1
]]>
(y -> z)) ^ (~ (x -> z) -> ~ y) = y => (x -> z)
]]>
y) => y) ^ z) = x ^ z
]]>
z = 1
]]>
x = 1
]]>
x) = x
]]>
(x => y) = x => (x -> y)
]]>
x) = y => x
]]>
y) v (x -> (z ^ y)) = x -> y
]]>
(y v x) = 1
]]>
(y -> x) = 1
]]>
y) => (x -> y) = 1
]]>
(y => x) = 1
]]>
~ (y ^ x) = 1
]]>
(z v y) = 1
]]>
(x -> y)) => (x -> y) = 1
]]>
(y -> ~ (z ^ x)) = y -> 1
]]>
(x -> y) = x -> y
]]>
(x => y) = x -> y
]]>
~ (x -> y) = x -> ~ (x => y)
]]>
(y => x) = ~ x -> ~ y
]]>
(~ (y => x) -> z) = ~ (~ x -> ~ y) -> z
]]>
((x => z) => z)) = x ^ ((x => z) => z)
]]>
(y -> ~ (z ^ x)) = 1
]]>
~ (x => y) = x -> ~ y
]]>
~ (x => ~ y) = x -> y
]]>
(~ ~ (x => y) -> z) = ~ (x -> ~ y) -> z
]]>
~ (y => x) = ~ x -> y
]]>
((x => z) => z)) = x
]]>
y) -> y) = x
]]>
(y v ((x => z) -> z)) = 1
]]>
((x => (y ^ z)) -> z) = 1
]]>
(~ ~ (x => y) -> z) = x -> (~ ~ y -> z)
]]>
(~ ~ (x => y) -> z) = x -> (y -> z)
]]>
((x => y) -> z) = x -> (y -> z)
]]>
(~ (y => x) -> z) = ~ x -> (~ ~ y -> z)
]]>
(~ (y => x) -> z) = ~ x -> (y -> z)
]]>
x)) -> z = ~ x -> (y -> z)
]]>
y) -> z = ~ y -> (x -> z)
]]>
y) -> z = x -> (~ y -> z)
]]>
(y -> z)) ^ (x -> (~ z -> ~ y)) = y => (x -> z)
]]>
(y => z) = y => (x -> z)
]]>
(y -> z)) ^ (~ (x => z) -> ~ y) = y => (x => z)
]]>
(y ^ z)) -> (x => z) = 1
]]>
y) -> ~ (x => (z ^ y))) = (x => (z ^ y)) => (x => y)
]]>
(y -> z)) ^ (x -> (~ z -> ~ y)) = y => (x => z)
]]>
(y => (z -> u))) ^ (x -> (~ (y => u) -> ~ z)) = z => (x => (y => u))
]]>
(y -> ~ (y => (z ^ x)))) = (y => (z ^ x)) => (y => x)
]]>
(y ^ z)) => (x => z) = 1 ^ (~ z -> (x -> ~ (y ^ z)))
]]>
(y ^ z)) => (x => z) = 1 ^ 1
]]>
(y ^ z)) => (x => z) = 1
]]>
y) => (x => ((y => z) -> z)) = 1
]]>
(y => (z -> u))) ^ (x -> (y -> (~ u -> ~ z))) = z => (x => (y => u))
]]>
y) -> (x -> (~ z -> ~ (y => z)))) = (y => z) => ((x => y) => (x => z))
]]>
y) => ((z => x) => (z => y)) = 1 ^ ((z => x) -> (z -> (~ y -> x)))
]]>
y) => ((z => x) => (z => y)) = 1 ^ (z -> ((z => x) -> (~ y -> x)))
]]>
y) => ((z => x) => (z => y)) = 1 ^ (z -> (x -> (~ y -> x)))
]]>
y) => ((z => x) => (z => y)) = 1 ^ (z -> 1)
]]>
1) = 1
]]>
y) => ((z => x) => (z => y)) = 1
]]>