Jump to content

Studies of Boolean functions/examples

From Wikiversity

This list contains almost all examples of Boolean functions used in Studies of Euler diagrams. Its purpose is mainly to avoid duplicates.

The values in the list refer only to BF that are dense and blightless. Their names are bold.
Names that are not bold have an addition like spread (not dense), bloated or blotted.

The values shown include valency, gender, number of bundles, clan (as smallest Ж), quadrant (combining parity and depravity), Zhegalkin index and weight (quotient of true and all places).


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

The content comes from {{Studies of Boolean functions/examples}}, and the styles from {{Studies of Boolean functions/examples/style.css}}. The code is generated by a script, and added in {{Studies of Boolean functions/examples/body}}. The links come from {{Boolflink}}.