First see https://www.youtube.com/watch?v=hh3ALpjxqfA ( 3 hr 00 min )
Original system
Generation of 08.2016 chart
Convert to equivalent
(x1=>x2) v (x3=>x4)=1
(x3=>x4) ^ (x5=>x6)=0
(x5=>x6) v (x7=>x8)=1
(x7=>x8) ^ (x9=>x10)=0
Original idea was proposed in http://kpolyakov.spb.ru/download/mea-2016-8.pdf
Classic pairs solution for original system. Needless to comment. Yes 08.2016 has obvious limitations However in USE's 23-s they appear to be gone pretty often by some mysterious reasons. More over the particular task even doesn't require cross-reference tables generation. See post
https://vk.com/bderzhavets?w=wall209645472_496%2Fall
Generation of 08.2016 chart
Convert to equivalent
(x1=>x2) v (x3=>x4)=1
(x3=>x4) ^ (x5=>x6)=0
(x5=>x6) v (x7=>x8)=1
(x7=>x8) ^ (x9=>x10)=0
Original idea was proposed in http://kpolyakov.spb.ru/download/mea-2016-8.pdf
https://vk.com/bderzhavets?w=wall209645472_496%2Fall
No comments:
Post a Comment