====232
        1          0
((x1-> y1)-> x2)-> y2 = 0
    0        *
    1        1
1122
xyxy
0010
0110
1110
1000+
1010


22  11          11 22 33 44 55
00: 10           1  1  4  5  9
01               1  0  0  0  0
10: 00+01+10+11  1  4  5  9 14
11               1  0  0  0  0
/23



======236
(x1 = y1) -> (x2 v y2) = 1

1122
xyxy
01*4
10*4
00*3 (-00)
11*3 (-00)

22  11          11 22 33 44  55  66
00: 01+10        1  2  8 28 100 356
01: 00+01+10+11  1  4 14 50 178 634
10: 00+01+10+11  1  4 14 50 178 634
11: 00+01+10+11  1  4 14 50 178 634
/2258





123
000
001
010-
011
100
101-
110
111

12 23 (34) 45

                   **
32  12       12 23 34 45 56 67
00: 00+10     1  2  3  6  9 15
01: 00 *10    1  1  3  3  6  9
10: 11 *01    1  1  3  3  6  9
11: 01+11     1  2  3  6  9 15



123
000-
001-
010+
011+
100+
101-
110+
111+

                    !!    !!    !!
23 12         12 23 34 45 56 67 78 90
00 (00)+10     0  1  3  2  7  5 17 12
01 (00)+(10)   1  0  3  0  7  0 17  0
10  01+11      1  2  2  5  5 12 12 29
11  01+11      1  2  2  5  5 12 12  0
/41



====240

xyxy
1122
00000
0010+
1110+
1111
1010+


22  11         11 22 33 44 55 66 77
00: 00          1  1  1  1  1  1  1
10: 00+10+11    1  3  5  7  9 11 13
11: 11          1  1  1  1  1  1  1
/15


====241
(x1 ^ -x2) v (-y1 ^ y2) v (x1 ^ y1) = 0
(-x1 v x2) ^ (y1 v -y2) ^ (-x1 v -y1) = 1
  0    1       0    0        1    1
  0    0       1    0
  1    1       1    1
1122
0000+
0100+
0101+
0010
0110
1010


22  11       11 22 33 44 55 66 77
00: 00+01     1  2  3  4  5  6  7
01: 01        1  1  1  1  1  1  1
10: 00+01+10  1  3  6 10 15 21 28
/36


====245
x1 v (x2->x3) = 1

123
000
001
011
100
101
110
111

0 >> 1"0" + 2"1"
1 >> 2"0" + 2"1"

   1  3   5   7   9
0: 1  3  11  39  139
1: 1  4  14  50  178
/178+139=317







====248
(x1 v ¬x2) → (x3 v ¬x4) = 1

1234
0000
0010
0011
1000
1010
1011
1100
1110
1111
0100
0101
0110
0111


1      4
0  >>  4"0" + 3"1"
1  >>  4"0" + 2"1"


   1  4  7   10
0: 1  8  52  52*4+34*4 = 344
1: 1  5  34  52*3+34*2 = 224
/568





====238?

123
000-
001-
010+
011+
100+
101-
110+
111+

                    !!    !!    !!
23 12         12 23 34 45 56 67 78 90
00 (00)+10     0  1  3  2  7  0  0 12
01 (00)+(10)   1  0  3  0  7  0  0  0
10  01+11      1  2  2  5  5  0 12 12
11  01+11      1  2  2  5  5 12 12 12
/36




1122
0000
0001
0101
0010
0011
0111
1010
1011
1111



===252
123
000+
001
010
011
100+
101
110
111


23 12     12 23 34 45 56 67
00: 00+10  1  2  4  8 16 32
01: 00+10  1  2  4  8 16 32
10: 01+11  1  2  4  8 16 32
11: 01+11  1  2  4  8 16 32
/128


====253
000
001
010*
011
100
101*
110
111

                      !!
23   12         12 23 34 45 56 67
00: 00+10        1  2  3  6  9 15
01: 00+(10)      1  1  3  3  6  9
10: (01)+11      1  1  3  3  6  9
11: 01+11        1  2  3  6  9 15
/48



====254
123
000+ *
001+ *
010+ *
011- *
100- *
101+ *
110+ *
111+ *
                    !!
23   12       12 23 34 45 56 67
00: 00+(10)    1  1  3  3  3  3
01: 00+10      1  2  3  6  9 12
10: 01+11      1  2  3  6  9 12
11: (01)+11    1  1  3  3  3  3
/24+6=30


=====244
123
000
010
100
110
011
101

0 >> 2"0" + 1"1"
1 >> 2"0" + 1"1"

   1   3    5   7   9
0: 1   4    12  36  108
1: 1   2     6  18  54
/162