В смысле, построить полином?
~((x1 v x3) -> x2) -> x1
((x1 v x3) -> x2) v x1
~(x1 v x3) v x2 v x1
~x1^~x3 v x2 v x1
~x1^~x3 v x2 v x1^(1 v ~x3)
~x1^~x3 v x2 v x1 v x1^~x3
(~x1 v x1)^~x3 v x2 v x1
x1 v x2 v ~x3
{a v b = a + b + a^b; ~a = a + 1; a + a = 0}
~x3 + (x1 v x2) + ~x3^(x1 v x2)
(1 + x3) + (x1 v x2) + (1 + x3)^(x1 v x2)
(1 + x3) + x3^(x1 v x2)
1 + x3 + x3^(x1 + x2 + x1^x2)
1 + x3 + x1^x3 + x2^x3 + x1^x2^x3