y) ^ (x => z)) => (x => (y ^ z)) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
c11) ^ (c10 => c12)) => (c10 => (c11 ^ c12)) != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
y) ^ (x => z)) => (x => (y ^ z)) = 1
]]>
x = 1
]]>
(x * y)) ^ y = y
]]>
c23 != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
x = 1
]]>
(x v y) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
(c13 v c14) != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
(y v x) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
(c16 v c15) != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
(y v x) = 1
]]>
x = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
c6 != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
x = 1
]]>
y = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
c9 != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
y = 1
]]>
((x ^ y) v z) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
(x * y)) ^ y = y
]]>
((c20 ^ c21) v c22) != 1
]]>
(x * 1) = 1
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
y = 1
]]>
(x v z) = 1
]]>
((x ^ y) v z) = 1
]]>
~ y) => (y => ~ x) = 1
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
~ c25) => (c25 => ~ c24) != 1
]]>
(x * 1) = 1
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
x = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y) => (y => ~ x) = 1
]]>
((x => y) => y) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
0
]]>
0 = ~ x
]]>
((c1 => c2) => c2) != 1
]]>
x)) = x
]]>
(y * x)) = x
]]>
(x * 1) = 1
]]>
(y * x)) ^ y = y
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
0 = x
]]>
0) = 0
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
y = 1
]]>
(y ^ z)) => (x => z) = 1
]]>
y) => (x => (y v z)) = 1
]]>
0) = ~ x
]]>
~ (y v z)) => (x => ~ z) = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
y = ~ y => x
]]>
z) => (~ z => ~ y) = 1
]]>
x = x
]]>
x = x
]]>
z) => (y => z) = 1
]]>
y) => ((x ^ z) => y) = 1
]]>
(y * x)) => z) => (y => z) = 1
]]>
(x => (y => ((x * y) v z))) = 1
]]>
(x => (y => (z v (x * y)))) = 1
]]>
(y => (z v (x * y))) = 1
]]>
((x => y) => y) = 1
]]>
(y => x) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
0
]]>
0 = ~ x
]]>
(c27 => c26) != 1
]]>
(y * x)) = x
]]>
(x * 1) = 1
]]>
(y * x)) ^ y = y
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
0 = x
]]>
0) = 0
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
y = 1
]]>
(y ^ z)) => (x => z) = 1
]]>
y) => (x => (y v z)) = 1
]]>
0) = ~ x
]]>
~ (y v z)) => (x => ~ z) = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
y = ~ y => x
]]>
z) => (~ z => ~ y) = 1
]]>
x = x
]]>
x = x
]]>
z) => (y => z) = 1
]]>
y) => ((x ^ z) => y) = 1
]]>
(y * x)) => z) => (y => z) = 1
]]>
(x => (y => ((x * y) v z))) = 1
]]>
(x => (y => (z v (x * y)))) = 1
]]>
(y => (z v (x * y))) = 1
]]>
(y => x) = 1
]]>
y) => ((y => z) => (x => z)) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
0
]]>
0 = ~ x
]]>
c4) => ((c4 => c5) => (c3 => c5)) != 1
]]>
x)) = x
]]>
(y * x)) = x
]]>
(x * 1) = 1
]]>
(y * x)) ^ y = y
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
0 = x
]]>
0) = 0
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x * y)) = x
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
x = 1
]]>
y = 1
]]>
(y => (x * y)) = 1
]]>
(y ^ z)) => (x => z) = 1
]]>
y) => (x => (y v z)) = 1
]]>
0) = ~ x
]]>
y)) * ~ y = 0
]]>
x)) = 0
]]>
y) * ~ y) = 0
]]>
~ x)) = 0
]]>
~ y)) = 0
]]>
~ y) = 0
]]>
((x => ~ y) => 0) = 1
]]>
~ (x => ~ y) = 1
]]>
~ (x => y) = 1
]]>
~ (y v z)) => (x => ~ z) = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
y) => ~ (x * ~ y) = 1
]]>
y = ~ y => x
]]>
z) => (~ z => ~ y) = 1
]]>
x = x
]]>
y)) = x
]]>
x = x
]]>
z) => (y => z) = 1
]]>
y) => ((x ^ z) => y) = 1
]]>
(y * x)) => z) => (y => z) = 1
]]>
(x => (y => ((x * y) v z))) = 1
]]>
(x => ~ (y * ~ (x * y))) = 1
]]>
(x => (y => (z v (x * y)))) = 1
]]>
~ (y * ~ (x * y)) = 1
]]>
(y => (z v (x * y))) = 1
]]>
((x => y) => y) = 1
]]>
y) => y)) = 0
]]>
y) => y) = 0
]]>
y) => y) => 0) = x
]]>
y) => y) = x
]]>
y) => (x => ((y => z) => z)) = 1
]]>
y) ^ (1 => ~ (x * ~ y)) = x => y
]]>
(y => (z v (x * y)))) = x
]]>
(z v (x * y))) = x
]]>
(y v (z * x))) ^ z = z
]]>
(y v (x * z))) ^ z = z
]]>
y) ^ ~ (x * ~ y) = x => y
]]>
y) ^ ~ (x * ~ y) = ~ (x * ~ y)
]]>
y
]]>
~ y
]]>
~ z
]]>
~ (x * y)
]]>
~ (y * z) = z => ~ (x * y)
]]>
~ (y * z) = y => (z => ~ x)
]]>
(~ y => ~ z) = z => (x => y)
]]>
(y => z) = y => (x => z)
]]>
y) => ((y => z) => (x => z)) = 1
]]>
(x => y)) ^ (~ y => (x => y))) => (x => y) = 1
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
(c28 => c29)) ^ (~ c29 => (c28 => c29))) => (c28 => c29) != 1
]]>
(x * 1) = 1
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
x = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
(x => y)) ^ (~ y => (x => y)) = x => y
]]>
(x => y)) ^ (~ y => (x => y))) => (x => y) = 1
]]>
y) ^ (z => y)) => ((x v z) => y) = 1
]]>
(y ^ z) = (x => y) ^ (x => z)
]]>
y) ^ (x => z) = x => (y ^ z)
]]>
y)) v y = y
]]>
(x * y)) ^ y = y
]]>
(x => y)) ^ (~ y => (~ y => ~ x)) = x => y
]]>
0
]]>
0 = ~ x
]]>
c18) ^ (c19 => c18)) => ((c17 v c19) => c18) != 1
]]>
x)) = x
]]>
(y * x)) = x
]]>
(x * 1) = 1
]]>
(y * x)) ^ y = y
]]>
(x => ~ y)) ^ (y => (~ ~ y => ~ x)) = x => ~ y
]]>
0 = x
]]>
0) = 0
]]>
x = 1
]]>
(x ^ (x v y)) = 1
]]>
(x ^ y) = 1 ^ (x => y)
]]>
(x * y)) = x
]]>
(x ^ y) = x => y
]]>
(x v y) = 1
]]>
x = 1
]]>
y = 1
]]>
(y => (y * x)) = 1
]]>
(y => (x * y)) = 1
]]>
(y ^ z)) => (x => z) = 1
]]>
(~ y => (x * ~ y)) = 1
]]>
y) => (x => (y v z)) = 1
]]>
0) = ~ x
]]>
y)) * ~ y = 0
]]>
x)) = 0
]]>
y) * ~ y) = 0
]]>
~ x)) = 0
]]>
~ y)) = 0
]]>
~ y) = 0
]]>
((x => ~ y) => 0) = 1
]]>
~ (x => ~ y) = 1
]]>
~ (x => y) = 1
]]>
~ (y v z)) => (x => ~ z) = 1
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = x => ~ y
]]>
(x => ~ y)) ^ (y => (y => ~ x)) = y => ~ x
]]>
~ y = y => ~ x
]]>
~ y = y => x
]]>
y) => ~ (x * ~ y) = 1
]]>
y = ~ y => x
]]>
z) => (~ z => ~ y) = 1
]]>
x = x
]]>
y)) = x
]]>
x = x
]]>
z) => (y => z) = 1
]]>
z) => (x => z) = 1
]]>
y) => ((x ^ z) => y) = 1
]]>
y) v (((x v z) => y) * 1) = x => y
]]>
(y * x)) => z) => (y => z) = 1
]]>
(x => (y => ((x * y) v z))) = 1
]]>
(x => ~ (y * ~ (x * y))) = 1
]]>
(x => (y => (z v (x * y)))) = 1
]]>
~ (y * ~ (x * y)) = 1
]]>
(y => (z v (x * y))) = 1
]]>
((x => y) => y) = 1
]]>
y) => y)) = 0
]]>
y) => y) = 0
]]>
y) => y) => 0) = x
]]>
y) => y) = x
]]>
y) => y) v x = (x => y) => y
]]>
y) ^ (1 => ~ (x * ~ y)) = x => y
]]>
(y => (z v (x * y)))) = x
]]>
y) => y) => z) => (x => z) = 1
]]>
(z v (x * y))) = x
]]>
(y v (z * x))) ^ z = z
]]>
(y v (x * z))) ^ z = z
]]>
(x => (((x => y) ^ z) => y)) = 1
]]>
(((x => y) ^ z) => y) = 1
]]>
((y ^ (x => z)) => z) = 1
]]>
((y ^ (x => z)) => z)) = x
]]>
z)) => z) = x
]]>
y) v ((x v z) => y) = x => y
]]>
y) ^ ~ (x * ~ y) = x => y
]]>
y) ^ ~ (x * ~ y) = ~ (x * ~ y)
]]>
y
]]>
~ y
]]>
(y * ~ z) = (y => z) => x
]]>
~ z
]]>
((x => y) => y) = 1
]]>
~ (x * y)
]]>
~ (y * z) = z => ~ (x * y)
]]>
~ (y * z) = y => (z => ~ x)
]]>
(~ y => ~ z) = z => (x => y)
]]>
(y => z) = y => (x => z)
]]>
y) => ((x v y) => y) = 1
]]>
y) v ((x => y) * 1) = (x v y) => y
]]>
y) v (x => y) = (x v y) => y
]]>
y) v ((x v y) => y) = (x v y) => y
]]>
y = x => y
]]>
x = y => x
]]>
y = (y v x) => y
]]>
y = x => y
]]>
z = x => z
]]>
((z ^ (y => u)) => u) = x => ((z ^ (y => u)) => u)
]]>
(((x => z) ^ (y => z)) => z) = 1
]]>
y) ^ (z => y)) => ((x v z) => y) = 1
]]>