y = 1
]]>
x = 1
]]>
y) ^ (x -> z) = x -> (y ^ z)
]]>
c2 != 1
]]>
y) = x -> (x ^ y)
]]>
(x ^ y) = x -> y
]]>
(x v y) = x -> x
]]>
(x v y) = 1
]]>
(y v x) = 1
]]>
y = 1
]]>
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
]]>
x = x
]]>
y) ^ (z -> y) = (x v z) -> y
]]>
c4 != 1
]]>
y) ^ (x -> 1) = x -> y
]]>
y) = x -> (x ^ y)
]]>
x) = (1 v y) -> x
]]>
(x ^ y) = x -> y
]]>
(x v y) = x -> x
]]>
(x v y) = 1
]]>
(y v x) = 1
]]>
~ (x ^ y) = 1
]]>
y = 1
]]>
x) ^ 1 = (x ^ y) => x
]]>
x) = 1 -> x
]]>
x) = x
]]>
(y -> x) = 1
]]>
(y -> x)) ^ (x -> 1) = 1
]]>
(y -> x)) ^ 1 = 1
]]>
(y -> x)) ^ 1 = (x ^ y) => x
]]>
x = 1
]]>
y = 1
]]>
~ y = y => x
]]>
y = (x -> y) ^ (~ y -> ~ x)
]]>
def)")
]]>
y) ^ (~ y -> ~ x) = x => y
]]>
~ c6 != c6 => c5
]]>
~ y) ^ (y -> x) = y => x
]]>
~ y) ^ (y -> ~ x) = x => ~ y
]]>
~ y) ^ (y -> ~ x) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
y) ^ y = y
]]>
x = 1
]]>
y)
]]>
y) ^ (x -> z) = x -> (y ^ z)
]]>
y = (x -> y) ^ (~ y -> ~ x)
]]>
def)")
]]>
y) ^ (~ y -> ~ x) = x => y
]]>
x = x
]]>
(x -> y) = x -> y
]]>
y) ^ (z -> y) = (x v z) -> y
]]>
c8) ^ c8 != c8
]]>
y)
]]>
y) = x -> (x ^ y)
]]>
y) ^ ((~ y -> ~ x) ^ z) = (x => y) ^ z
]]>
x) = (1 v y) -> x
]]>
(x ^ y) = x -> y
]]>
(x ^ (x -> y)) = x -> y
]]>
x) = 1 -> x
]]>
x) = x
]]>
y) ^ y = y
]]>
y) v y = x -> y
]]>
(x v z)) = x
]]>
(x ^ (x -> y)) = x -> (y v ~ x)
]]>
(y v ~ x) = x -> y
]]>
(~ x v y) = x -> y
]]>
y) = ~ x
]]>
y) = ~ ~ x
]]>
y) = x
]]>
y) ^ x = x
]]>
y) ^ y = (x => y) ^ y
]]>
y) ^ y = y
]]>
(x ^ y) = x => y
]]>
x = 1
]]>
y) ^ (x -> z) = x -> (y ^ z)
]]>
y = (x -> y) ^ (~ y -> ~ x)
]]>
def)")
]]>
y) ^ (~ y -> ~ x) = x => y
]]>
y) ^ (z -> y) = (x v z) -> y
]]>
(c9 ^ c10) != c9 => c10
]]>
y) = x -> (x ^ y)
]]>
y) = (y v x) -> y
]]>
(x ^ y) = x -> y
]]>
y) ^ (~ (x ^ y) -> ~ x) = x => (x ^ y)
]]>
x = y -> x
]]>
~ x = ~ y -> ~ x
]]>
y) ^ (~ y -> ~ x) = x => (x ^ y)
]]>
(x ^ y) = x => y
]]>