Search results
Jump to navigation
Jump to search
Page title matches
- ==Shape of the Euler diagram== ...th table AB.svg|500px]]<br>the four cells of bundle ''AB'' (outside of sets ''C'' and ''D'') ...5 KB (803 words) - 22:51, 26 June 2022
- !colspan="2" bgcolor="#ddd" | Euler diagram <small>(with separated cell 0)</small> !colspan="2" bgcolor="#ddd" | Euler diagram <small>(cylindric)</small> ...12 KB (1,694 words) - 18:03, 11 February 2023
- | [[Studies of Euler diagrams/blighted|blighted]] {{Rdrup}} A Boolean function is '''bloated''', if some of its sets are equal or complementary to each other.<br> ...7 KB (989 words) - 21:42, 21 June 2023
- | [[Studies of Euler diagrams/blighted|blighted]] {{Rdrup}} A Boolean function is '''blotted''', if one of its sets is equal or complementary to the universe.<br> ...6 KB (775 words) - 18:39, 12 March 2023
- ...an functions#NP|NP equivalence class]]), so they can be expressed in terms of each other.<br> <small>It can be just a set of negated places or just a permutation. (These cases are marked with N, P or ...13 KB (1,782 words) - 12:53, 26 April 2024
- ...e classes of Boolean functions#NP|NP equivalence class]] (clan) have Euler diagrams with the same shape. The functions in it can be turned into each other with [[Studies of Euler diagrams/transformations|transformations]].<br> ...4 KB (542 words) - 23:16, 15 October 2023
- {{DISPLAYTITLE:Studies of Euler diagrams/<span style="font-family: Georgia, serif; font-style: italic;">dukeli</span ...11809}} <small>(all circles point to inside)</small><br>below those of its complement {{zhe|11808}} <small>(all circles point to outside)</ ...5 KB (610 words) - 18:29, 11 February 2023
- ...l style="opacity: .5;">''These tables are in category {{c|Studies of Euler diagrams; templates; NP tables}}.''</small> ...nce classes of Boolean functions#P|permutation]] and [[Equivalence classes of Boolean functions#N|negation]] equivalence classes. ...7 KB (1,014 words) - 15:26, 23 February 2023
- ...olor="#ddd" | [[Studies of Euler diagrams/gap variants/basiga|gap variants of {{boolfname|basiga}}]] !colspan="3" bgcolor="#ddd" | [[Studies of Euler diagrams/gap variants/multi-bundle 3-2-2-1|multi-bundle 3-2-2-1]] ...11 KB (1,509 words) - 13:23, 3 July 2022
Page text matches
- ...e classes of Boolean functions#NP|NP equivalence class]] (clan) have Euler diagrams with the same shape. The functions in it can be turned into each other with [[Studies of Euler diagrams/transformations|transformations]].<br> ...4 KB (542 words) - 23:16, 15 October 2023
- {{DISPLAYTITLE:Studies of Euler diagrams/<span style="font-family: Georgia, serif; font-style: italic;">dukeli</span ...11809}} <small>(all circles point to inside)</small><br>below those of its complement {{zhe|11808}} <small>(all circles point to outside)</ ...5 KB (610 words) - 18:29, 11 February 2023
- | [[Studies of Euler diagrams/blighted|blighted]] {{Rdrup}} A Boolean function is '''blotted''', if one of its sets is equal or complementary to the universe.<br> ...6 KB (775 words) - 18:39, 12 March 2023
- ...l style="opacity: .5;">''These tables are in category {{c|Studies of Euler diagrams; templates; NP tables}}.''</small> ...nce classes of Boolean functions#P|permutation]] and [[Equivalence classes of Boolean functions#N|negation]] equivalence classes. ...7 KB (1,014 words) - 15:26, 23 February 2023
- !colspan="2" bgcolor="#ddd" | Euler diagram <small>(with separated cell 0)</small> !colspan="2" bgcolor="#ddd" | Euler diagram <small>(cylindric)</small> ...12 KB (1,694 words) - 18:03, 11 February 2023
- ...olor="#ddd" | [[Studies of Euler diagrams/gap variants/basiga|gap variants of {{boolfname|basiga}}]] !colspan="3" bgcolor="#ddd" | [[Studies of Euler diagrams/gap variants/multi-bundle 3-2-2-1|multi-bundle 3-2-2-1]] ...11 KB (1,509 words) - 13:23, 3 July 2022
- ...an functions#NP|NP equivalence class]]), so they can be expressed in terms of each other.<br> <small>It can be just a set of negated places or just a permutation. (These cases are marked with N, P or ...13 KB (1,782 words) - 12:53, 26 April 2024
- This class for Boolean functions (BF) is the biggest part of this software.<br> This project is related to many pages in [[Studies of Boolean functions]]. ...5 KB (723 words) - 16:08, 4 July 2024
- | [[Studies of Euler diagrams/blighted|blighted]] {{Rdrup}} A Boolean function is '''bloated''', if some of its sets are equal or complementary to each other.<br> ...7 KB (989 words) - 21:42, 21 June 2023
- ...}} '''truth table''', '''TT''' {{spaces|4}} usually meant as a truth table of finite length, determined by an {{sect|arity}} ...{{spaces|4}} The weight of a BF is a fraction between 0 and 1. The weight of a TT is a non-negative integer. ...13 KB (1,832 words) - 14:00, 11 March 2025
- This is an extension of the class [[Discrete helpers/perm|Perm]] with added negators.<br> ...h>. <small>(See e.g. the [[full octahedral group]] for the 48 permutations of the cube.)</small><br> ...5 KB (589 words) - 16:49, 1 June 2024
- ==Shape of the Euler diagram== ...th table AB.svg|500px]]<br>the four cells of bundle ''AB'' (outside of sets ''C'' and ''D'') ...5 KB (803 words) - 22:51, 26 June 2022
- ...{w|algebraic normal form}}''' ('''ANF''') is a {{w|canonical normal form}} of a Boolean function. It is a {{w|Eclusive or|XOR}} formula of {{w|Logical conjunction|AND}} formulas, like this: ...3 KB (509 words) - 23:24, 16 May 2024
- ...n functions belong to the same family, when they can be [[Studies of Euler diagrams/transformations|transformed]] into each other by negating arguments.<br> ...mal size is 2<sup>''{{Boolf-hard|adicity}}''</sup>, i.e. the period length of the truth table.<br> ...6 KB (980 words) - 01:21, 16 March 2025
- ...importance for axiomatic approaches to many areas of science besides those of mathematics and metamathematics , such as: general [[../NewtonianMechanics/ A ''metalogic'' is a meta-theory of various [[../Bijective/|types]] of logic. ...14 KB (1,973 words) - 00:23, 10 September 2020
- [[File:3-ary Boolean functions; super-clan of Zhe 44.svg|thumb|''bec'' 27 containing 3 ''sec''s, including the one shown [[File:Venn and Euler diagrams of 3-ary Boolean relations; with graphs.svg|thumb|right|The 22 ''bec''s ordere ...80 KB (10,872 words) - 11:16, 17 May 2024