podla mna
L24+L14.L23+L14.L13.L22+L14.L13.L12.L21
ja som to tak isto napisal ...
skusim rychle vysvetlenie:
oznacenie Lxy, kde x je cislo pravidla a y je cislo skupiny
16bit cislo rozdelime na 4 skupiny po 4 bity, cize
| skupina 4 | skupina 3 | skupina 2 | skupina 1 |
| a16 a15 a14 a13 | a12 a11 a10 a9 | a8 a7 a6 a5 | a4 a3 a2 a1 |
| b16 b15 b14 b13 | b12 b11 b10 b9 | b8 b7 b6 b5 | b4 b3 b2 b1 |
potom L11 = (a1b1 V ^a1^b1).(a2b2 V ^a2^b2).(a3b3 V ^a3^b3).(a4b4 V ^a4^b4)
co znamena ze a1 je 1 a zaroven b1 je 1 alebo a1 je 0 a zaroven b1 je 0 a tak dalej
podobne pre ostatne skupiny
nakoniec L1=L11.L12.L13.L14, co znamena, ze vsetky acka a becka vo vsetkych skupinach sa rovnaju
pre L21 = a4^b4 V
a4 je 1 a b4 je 0, cize ak je najvyssi bit 1. skupiny cisla vyssi ako najvyssi bit 1.skupiny cisla b tak pre skupinu 1 plati ze A>B V (a4b4)(a3^b3) V (^a4^b4)(a3^b3) V
ak sa najvyssie bity rovnaju tak skumame dalej V ....
a tak dalej, ak sa rovnaju 4. a aj 3. tak 2. z A musi byt 1 a 2. z B musi byt 0podobne pre ostatne skupiny
a nakoniec L2 = L24 v L14.L23 v L14.L13.L22 v L14.L13.L12.L21
bud pravidlo A>B plati pre 4.skupiny alebo pre 4.skupinu plati pravidlo A=B a pre 3.skupinu plati pravidlo A>B a tak dalej
nakoniec L3=^(A V B) ... ak neplati A=B alebo A>B tak tak plati posledne A<B
