Jump to content

Template:Studies of Boolean functions/examples

From Wikiversity

This template is the source of the list shown in Studies of Boolean functions/examples. Only the header can be edited here.
The table body is separately in {{Studies of Boolean functions/examples/body}}. It is generated by a script, and should not be edited manually.
The styles are in Template:Studies of Boolean functions/examples/style.css

V G bu clan Q Ж fraction weight names
num den decimal num den decimal
0 0 1 3 1 1 1 .99999999999999999999 1 1 menose 3 bloated blotted
2 2 9 1 9 14 15 .93333333333333334814 3 4 .75 barogi spread bareto 4 bloated spread
3 1 22 2 22 7 17 .41176470588235292158 1 2 .5 pelele
3 2 24 3 31 9 17 .52941176470588235947 1 2 .5 gilera
3 1 22 1 23 10 17 .58823529411764707842 1 2 .5 selera
3 1 134 1 249 46 51 .90196078431372550543 5 8 .625 kinide
3 1 107 0 126 42 85 .49411764705882355031 3 4 .75 foravo
3 1 41 3 103 53 85 .62352941176470588758 3 4 .75 safoko
3 2 131 1 163 58 85 .68235294117647060652 5 8 .625 gelade
3 3 44 2 98 83 255 .32549019607843138191 1 2 .5 givero
3 3 150 0 150 104 255 .40784313725490195512 3 8 .375 kukobo
3 2 131 3 239 143 255 .56078431372549020217 5 8 .625 geloba
3 1 151 3 151 151 255 .59215686274509804488 5 8 .625 nemeke
3 1 151 1 231 158 255 .61960784313725492112 5 8 .625 tokosi 5 bloated spread
3 2 24 1 83 166 255 .65098039215686276382 1 2 .5 gilipi
3 3 104 1 123 178 255 .69803921568627447236 1 2 .5 demole 5 bloated spread
3 3 44 3 93 209 255 .81960784313725487671 1 2 .5 potero temapi 7 bloated blotted spread
3 3 104 1 125 212 255 .83137254901960788711 1 2 .5 dobipi
3 3 44 1 89 226 255 .88627450980392152857 1 2 .5 potula basori spread
3 3 104 1 105 232 255 .90980392156862743835 1 2 .5 dobare
3 2 131 1 209 242 255 .94901960784313721398 5 8 .625 tavoku spread
3 2 131 1 225 248 255 .97254901960784312376 5 8 .625 fobope 4 blotted spread
3 1 129 1 129 254 255 .99607843137254903354 7 8 .875 bunese
4 3 6304 0 7140 896 4369 .20508125429159990150 1 4 .25 rigeko 5 bloated spread
4 3 6304 0 7650 1408 4369 .32227054245822844836 1 4 .25 tefabi
4 1 1650 0 1650 1574 4369 .36026550698100251457 1 2 .5 logota
4 3 10440 1 32571 3024 4369 .69214923323414967449 3 8 .375 sofeke
4 4 38505 1 38505 3968 4369 .90821698329137101613 5 16 .3125 duvola 8 bloated blotted spread
4 1 33345 1 33825 4280 4369 .97962920576791023830 9 16 .5625 putuki seduki spread
4 1 556 1 5653 10018 13107 .76432440680552371504 1 2 .5 damogi
4 1 1656 3 5481 11887 13107 .90691996643015182489 1 2 .5 damela
4 3 10440 1 11985 12416 13107 .94728007934691382808 3 8 .375 kibime
4 1 2289 0 15154 8186 21845 .37473105973907072652 3 4 .75 serabe
4 1 2274 0 16878 9604 21845 .43964293888761729612 3 8 .375 kagusi
4 1 33359 1 60485 17742 21845 .81217669947356374571 11 16 .6875 niliko
4 4 38505 1 55165 18112 21845 .82911421377889682471 5 16 .3125 topuke
4 2 33344 1 64681 20032 21845 .91700617990386812384 7 16 .4375 gepofu
4 3 26776 1 32177 20832 21845 .95362783245593962800 3 8 .375 kageda
4 1 33345 1 50225 20972 21845 .96003662165255210237 9 16 .5625 badugo
4 2 33344 1 61153 21208 21845 .97084000915541313059 7 16 .4375 sedofu spread
4 1 32779 1 64769 21774 21845 .99674982833600367371 11 16 .6875 dorapi
4 1 32777 1 43009 21838 21845 .99967956054016937628 13 16 .8125 medusa
4 4 10432 0 19380 14464 65535 .22070649271381703738 1 4 .25 rudafi 5 bloated spread
4 2 32815 2 49250 21329 65535 .32545967803463798917 7 16 .4375 fodige
4 1 32774 0 43778 21994 65535 .33560692759594107359 9 16 .5625 sapigi
4 3 704 0 20594 23632 65535 .36060120546272983466 3 8 .375 repuba
4 1 32794 0 65266 23842 65535 .36380560006103607185 7 16 .4375 dagoro
4 1 32875 0 39730 24554 65535 .37467002365148394105 11 16 .6875 rudege
4 3 33375 0 53550 29312 65535 .44727244983596553540 5 16 .3125 menabe
4 1 26758 0 31710 31432 65535 .47962157625696194563 1 2 .5 piferi
4 1 32814 0 62206 32546 65535 .49662012664988175459 9 16 .5625 tinora
4 1 6281 0 22526 32746 65535 .49967193102922102810 3 4 .75 kusiga
4 1 33048 1 43863 38186 65535 .58268101014724960063 7 16 .4375 vanatu
4 4 33405 1 62331 45584 65535 .69556725413900966082 5 16 .3125 timigi
4 3 33375 1 57675 47168 65535 .71973754482337681804 5 16 .3125 megomi 5 bloated spread
4 1 6273 1 22443 48938 65535 .74674601358052949962 5 8 .625 vidita
4 4 33358 1 53093 51776 65535 .79005111772335390175 5 16 .3125 nebugi
4 1 34426 1 40541 53672 65535 .81898222323949032564 7 16 .4375 dagese
4 3 33375 1 57885 53888 65535 .82227817196917674103 5 16 .3125 murife
4 2 32878 1 65405 54356 65535 .82941939421683075206 7 16 .4375 gibisi
4 2 32771 1 34957 56524 65535 .86250095368886858793 9 16 .5625 kenera
4 1 10445 1 25805 57322 65535 .87467765316243228924 3 4 .75 nosafu
4 1 616 1 873 59458 65535 .90727092393377584134 3 8 .375 kusaga
4 3 6272 1 26217 59528 65535 .90833905546654458707 3 8 .375 moniso
4 1 2209 1 8329 61418 65535 .93717860685130083276 3 4 .75 farofe
4 1 32794 3 61873 62467 65535 .95318532082093543334 7 16 .4375 darimi spread
4 1 2290 1 11809 64136 65535 .97865262836652167078 1 2 .5 dukeli
4 1 2290 1 29249 64672 65535 .98683146410315103481 1 2 .5 dukove
5 1 2148020227 1 2223277089 49499560 50529027 .97962622553567080264 15 32 .46875 sediri spread
5 5 679526400 1 1502975321 758751232 858993459 .88330268880429274603 3 16 .1875 bitada 8 bloated blotted spread
5 1 2148020227 1 2824077825 857876096 858993459 .99869921826727203751 15 32 .46875 miniri
5 2 2185002435 1 2277194939 987583888 1431655765 .68981937707630436307 9 32 .28125 tinefa 8 bloated blotted spread
5 5 683720704 1 2071443319 2416050208 4294967295 .56253052515967993941 1 8 .125 futare 8 bloated spread
6 1 9225659022114557952 1 12129504777970385409 3684549776986089088 3689348814741910323 .99869921820982465732 21 64 .328125 barita
6 2 468561281085865984 0 4957470111688325324 2321606260744519856 18446744073709551615 .12585452757775783539 5 32 .15625 gufaro 7 blotted spread
6 5 7530159866489372800 0 7993553226493226734 8070736405338259456 18446744073709551615 .43751549721127958037 3 32 .09375 geteso 8 bloated spread
7 1 1 160482471457399864304089926501905714363 2761080353511234252005642424334800344 4003321963775746628980877734491390723 .68969730101525783539 7 64 .109375 numado spread
7 1 0 80066743529918673765307076849425992508 1057192426434355947481673024285390648 6672203272959577714968129557485651205 .15844727493822574615 5 64 .078125 karifu spread
7 1 1 100086699928123173064135735242574790475 4801347535005481819476838828474820328 6672203272959577714968129557485651205 .71960450522601604462 1 8 .125 takeli spread
7 3 0 249627313901783833003323466659027253452 2519180972463291982054459112645228672 20016609818878733144904388672456953615 .12585452757775783539 11 128 .0859375 nusure spread
7 1 0 100315184851555645985487930413513441400 6405217784983743519568412274542719832 68056473384187692692674921486353642291 .09411621652543544769 3 32 .09375 tevoga spread
7 2 0 272222972848412699225587240746252778700 8515369636828437842409487790603291888 68056473384187692692674921486353642291 .12512211129069328308 9 128 .0703125 sigovu spread
7 1 1 100081527913673037666349530078830592075 49106669684875366983357827438160851800 68056473384187692692674921486353642291 .72155766002833843231 5 32 .15625 manila spread
7 5 0 206837185960287371764104231546519552000 18672262262307619608320802816 113427455640312821154458202477256070485 .00000000016461854105 9 128 .0703125 todeda 8 blotted
7 4 1 249893484003710814658435622090125065215 56796805837543568391854213385843725656 113427455640312821154458202477256070485 .50073243305087089539 9 128 .0703125 nitevu spread
7 3 0 181836686116753123485229306584729680076 42826076531875963694925804914968887328 340282366920938463463374607431768211455 .12585452757775783539 11 128 .0859375 nogoka spread
7 1 0 339889287857404608925196814993673440180 75101391903052551006083552314287718456 340282366920938463463374607431768211455 .22070315480232238770 9 128 .0703125 nafega spread
7 3 1 1334460699006337679336589237076099071 170141183499773827979034297530341916672 340282366920938463463374607431768211455 .50000000011550582713 3 32 .09375 lapava 8 blotted
7 2 1 340278574054634395745226395137123239167 171055038482601465695441825226626695352 340282366920938463463374607431768211455 .50268557853996753693 11 128 .0859375 bokivi spread
7 1 1 158797545452155565570583322399935515511 191616534676224681595223812952249335952 340282366920938463463374607431768211455 .56311038509011268616 5 64 .078125 linaki spread
7 1 1 181165652635791729469738114276869749835 245325654014734238403710062550700785848 340282366920938463463374607431768211455 .72094730101525783539 15 128 .1171875 luvati spread
8 2 1 63891496812938637095930795272858929739408585009094117750674136850174897652289 6722333687008829562071576617148834669296665073675850703581342280753782718464 6811299366900952671974763824040465167839410862684739061144563765171360567055 .98693851567816182069 17 256 .06640625 giteli
8 1 1 84716308863492344295045987058413244781760352547629965631163354778880096385867 5549397936856461404205818382981287909973259618772352079143336401576127577976 7719472615821079694904732333912527190217998977709370935963838933860875309329 .71888303942978637462 25 256 .09765625 medina
8 2 1 35056913325288450014306951460650425114851976469245994070745303677587173756545 7675419477038325585837117203125188232805548885444611841498683901915269431296 7719472615821079694904732333912527190217998977709370935963838933860875309329 .99429324502136751107 9 128 .0703125 doguva
8 1 1 54490086155702675692096697415162635133691620068838750273187549047519675894715 15924272353817094593677135844677237948729134341113320973982964920688785446504 23158417847463239084714197001737581570653996933128112807891516801582625927987 .68762350082397494244 7 128 .0546875 deginu
8 4 1 87638713668001856495748485528818012593203605510109177204989461026986999533005 20173153046855805838127488390625338942387204631692456617094554800018123915264 23158417847463239084714197001737581570653996933128112807891516801582625927987 .87109375000181898940 13 256 .05078125 nutite
8 2 1 92727322614931535727884276613376809253928256699706720430028788315294326129153 23128028994589870364659444231287253361853946040071595480743520102003368787968 23158417847463239084714197001737581570653996933128112807891516801582625927987 .99868778372194810800 21 256 .08203125 basiga
8 1 0 23158480227387522959434069178106538007236201512544163676044879963928431377468 6031224478905660209057008602067795051772574487329560385913191807407372647768 38597363079105398474523661669562635951089994888546854679819194669304376546645 .15626001358032282074 1 16 .0625 ligoba
8 4 0 86162930088287038963440325845369560057673946707679233414400905246087613165950 19078416115238395363430153127514536184063602726007566378661302401037779337216 38597363079105398474523661669562635951089994888546854679819194669304376546645 .49429325200628682069 15 256 .05859375 teloti
8 4 0 454093445326571888683591729731034315628630712976945836543933672856437719550 19223591694084000147253128852044920566214339017502614585057619190293846818816 38597363079105398474523661669562635951089994888546854679819194669304376546645 .49805453431326895952 7 128 .0546875 sasunu
8 4 1 57214914776486402097350312235133490918171066848239982459807723995735022108671 19298681539552699237261830834781317975601711172106582120899334985472727318528 38597363079105398474523661669562635951089994888546854679819194669304376546645 .50000000000000000000 3 64 .046875 tigola
8 8 1 73561556951864401672668434257532735917836364520524259297330422201453549453311 19298681539552699237261830834781317975601711172115144539507466609473185906688 38597363079105398474523661669562635951089994888546854679819194669304376546645 .50000000000000000000 9 256 .03515625 karato
8 4 1 9087191872084203944921604677660584687982437995652432768679549105396554083095 22639201558291386786255043078423487561602273849556032274484566225308360900608 38597363079105398474523661669562635951089994888546854679819194669304376546645 .58654788183048367500 5 128 .0390625 kulika
8 1 1 424562973793892563702563897008877385264808382513395258238683584023263988555 27742278092109496100126981404652701975867398602076548561931624039031502810456 38597363079105398474523661669562635951089994888546854679819194669304376546645 .71876096911728459826 5 64 .078125 dukamu
8 1 1 54519125699981092940675909674982696419602804541295334719751262507021575109451 27746603186486796760926517065122716808275777548079765399763568928296248819032 38597363079105398474523661669562635951089994888546854679819194669304376546645 .71887302584946177753 1 16 .0625 kabine
8 4 1 89574246188054604883988040290534111728158250494678700634257029395333752944137 35958871839808931215789249524152237319583526975964053243204302544722972377088 38597363079105398474523661669562635951089994888546854679819194669304376546645 .93164063477888703346 13 256 .05078125 pamoda
8 4 1 34964671485342117401046347269231465475462173044045385015974324816528634102081 37994279281064584817821280866214040591146421202955626076855859479495676264448 38597363079105398474523661669562635951089994888546854679819194669304376546645 .98437500000181898940 3 64 .046875 vepane
8 2 0 115790328873226317154067328573397794446296680819951177645068198077729199292656 3633631416658373206051588580998283272666357429462410200089294964159412176896 115792089237316195423570985008687907853269984665640564039457584007913129639935 .03138065338134832238 9 256 .03515625 pirake
8 1 0 419604708755504654647086955237242021638677809593056213548434641929649356 14488422001036905996447140361708377650607753991943335503144847923238513156104 115792089237316195423570985008687907853269984665640564039457584007913129639935 .12512445449829345812 7 128 .0546875 filege
8 2 0 88291534284101813791495999749904862229710936521775784037224232820165130271948 14489084568685966441275546920578032089101317849961061626497198388229292732416 115792089237316195423570985008687907853269984665640564039457584007913129639935 .12513017654418989721 11 256 .04296875 bukoru
8 1 0 27245197480984642373740418256526917255806131618280754401763718132656589454396 18093508010484230990845245729398808415270760208142611756822047289424440469504 115792089237316195423570985008687907853269984665640564039457584007913129639935 .15625858493149336059 3 64 .046875 pomote
8 3 0 38171656866989092265436005085228624331208972203533915478488202251975319136356 24029120350598657590297813605111796062756899517860253085769371542289966432256 115792089237316195423570985008687907853269984665640564039457584007913129639935 .20751953357842012338 5 128 .0390625 vumali
8 4 0 98192339873246846871861634755463364158467775155945129509264280788368354584854 47722540298075191464532091921165804124462908651689880580263901834091761238016 115792089237316195423570985008687907853269984665640564039457584007913129639935 .41213990189146443299 11 256 .04296875 torova
8 7 1 11714369257242925469188869655294565564551343686073488109395635147899987296255 57896044618658097711785492504343953926634992332889916146947818157743739502592 115792089237316195423570985008687907853269984665640564039457584007913129639935 .50000000000000000000 1 32 .03125 karafa
8 4 1 115337995765135405337576701084986942239967063287909208467898418364721395662847 57896044618658097711785492504343953926805133516359669928974181842320533487616 115792089237316195423570985008687907853269984665640564039457584007913129639935 .50000000000000000000 15 256 .05859375 lobeva
8 3 1 115368045940183528162749543585392176946641038507767264795980142717463635755007 57896983256161351216991062134596668586837733324467675068483062369137016705032 115792089237316195423570985008687907853269984665640564039457584007913129639935 .50000810623169023028 11 256 .04296875 gulivu
8 1 1 61273424323164529720214654548177206890825484026152496896423110491292580939639 65147461042362690072242030015320510234328134073442669430327998734217473200136 115792089237316195423570985008687907853269984665640564039457584007913129639935 .56262445449829301403 13 256 .05078125 gunumi
8 3 1 46742541907042784378516050588585609353472723211834961584264523735773476264791 67451153814592230874136932983369761507733143767475464600565965545257390047232 115792089237316195423570985008687907853269984665640564039457584007913129639935 .58251953357842012338 5 128 .0390625 tomute
8 4 1 16205299234323113682471675363323276626002446284068391227574122183249747973075 75539780539865967683792807362196343411689910317874441187527510860766707187712 115792089237316195423570985008687907853269984665640564039457584007913129639935 .65237427735712572030 3 64 .046875 kokabi
8 1 1 23158421738576348159170143880337130067956835856615094759770796750142632833987 76003024838011225366847562544512760896083323757517414340044705329611387482112 115792089237316195423570985008687907853269984665640564039457584007913129639935 .65637493319809459003 1 16 .0625 kasete
8 4 1 84914198761496834302418438344732256594869090850111857372367726925764898372539 79608000203837839801376094783377258688265712636081584327006498176997668194312 115792089237316195423570985008687907853269984665640564039457584007913129639935 .68750810809433648974 15 256 .05859375 gatade
8 3 1 9544218667448027261695985683269089979255475702807239476179966713021154842137 102014220355445394502790981593035609287708454236339053266677559884534150856704 115792089237316195423570985008687907853269984665640564039457584007913129639935 .88101200200617313385 7 128 .0546875 dinado
8 4 1 9989911426670145345483116759508673144333244104413388997388850866161597159145 105615937032078237609331747536294598544137620078124639802760763449158070697984 115792089237316195423570985008687907853269984665640564039457584007913129639935 .91211703431326895952 3 64 .046875 banatu
8 4 1 14984755102470905231563694314922155635088809270020400064314857979258381341217 113360911989772605330166734794388779522478627585423349102558584606279570817024 115792089237316195423570985008687907853269984665640564039457584007913129639935 .97900394350290298462 3 64 .046875 sarina
8 4 1 87638713668001856495748485528818012593443804827935722002728313691050015260929 115339776388943553618583815079212683193637306537532470898337893827008731807744 115792089237316195423570985008687907853269984665640564039457584007913129639935 .99609375000181898940 15 256 .05859375 lekate
8 4 1 115337995791989623534887393278956873537641353952663618202913650335056691920385 115566819700910098153544879060478715625278009385328125774901649574838105276416 115792089237316195423570985008687907853269984665640564039457584007913129639935 .99805453431326895952 15 256 .05859375 kusaru