Algebraic normal form: historial de revisions

17 nov 2014

• actprev 19:5619:56, 17 nov 2014 YiFeiBot discussió contribucions m 6.782 octets −31 Bot: Migrating interwiki links, now provided by Wikidata on d:q2154043 desfés

21 ago 2014

• actprev 17:3317:33, 21 ago 2014 Uscitizenjason discussió contribucions 6.813 octets +147 Cap resum de modificació desfés

27 jul 2014

• actprev 00:3400:34, 27 jul 2014 Magioladitis discussió contribucions m 6.666 octets −10 →Performing operations within algebraic normal form: Replace unicode entity nbsp for character [NBSP] (or space) per WP:NBSP + other fixes, replaced: → (10) using AWB (10331) desfés

16 març 2014

• actprev 01:5801:58, 16 març 2014 Michael Hardy discussió contribucions 6.676 octets +8 Cap resum de modificació desfés

11 nov 2013

• actprev 02:3202:32, 11 nov 2013 128.220.159.17 discussió 6.668 octets +21 added a relevant link desfés

19 jul 2013

• actprev 14:1514:15, 19 jul 2013 Olathe discussió contribucions m 6.647 octets −1 →Converting to algebraic normal form: Corrected ⊕ desfés
• actprev 14:1514:15, 19 jul 2013 Olathe discussió contribucions m 6.648 octets −70 →Converting to algebraic normal form: Using the suggestion above, it's easier to do it using a + b = a ⊕ b ⊕ ab. desfés
• actprev 13:0013:00, 19 jul 2013 Legobot discussió contribucions m 6.718 octets +30 BOT: Dating templates: {{mergefrom}} (2). Errors? stop me desfés
• actprev 12:0512:05, 19 jul 2013 Macrakis discussió contribucions 6.688 octets −2 Cap resum de modificació desfés
• actprev 12:0412:04, 19 jul 2013 Macrakis discussió contribucions 6.690 octets +134 suggest merge desfés

12 jul 2013

• actprev 08:0008:00, 12 jul 2013 Yobot discussió contribucions m 6.556 octets +2 clean up, References after punctuation per WP:REFPUNC and WP:CITEFOOT using AWB (9345) desfés

7 jul 2013

• actprev 17:4417:44, 7 jul 2013 Olathe discussió contribucions m 6.554 octets +4 →Recursively deriving multiargument Boolean functions: Better layout desfés
• actprev 17:4217:42, 7 jul 2013 Olathe discussió contribucions 6.550 octets +15 The part on bottom is a more formal representation with a method of deriving the ANF of multiargument functions. desfés

3 jul 2013

• actprev 23:1923:19, 3 jul 2013 Olathe discussió contribucions m 6.535 octets +131 →Performing operations within algebraic normal form: Added WolframAlpha text to reference links desfés
• actprev 23:1723:17, 3 jul 2013 Olathe discussió contribucions m 6.404 octets +3 →Performing operations within algebraic normal form: Corrected reference links desfés
• actprev 23:1523:15, 3 jul 2013 Olathe discussió contribucions m 6.401 octets +30 +reflist desfés
• actprev 23:1423:14, 3 jul 2013 Olathe discussió contribucions m 6.371 octets +433 →Performing operations within algebraic normal form: Added references to WolframAlpha desfés
• actprev 22:2822:28, 3 jul 2013 Olathe discussió contribucions m 5.938 octets −5 →Common uses: Better wording desfés
• actprev 22:2722:27, 3 jul 2013 Olathe discussió contribucions m 5.943 octets 0 →Common uses: Better wording desfés
• actprev 22:2722:27, 3 jul 2013 Olathe discussió contribucions 5.943 octets +47 →Common uses: A much worse problem with NNF is that equal formulas aren't necessarily reduced to the same formula. desfés
• actprev 21:0721:07, 3 jul 2013 Olathe discussió contribucions 5.896 octets +428 Added benefits of ANF for automated theorem proving compared to CNF, DNF, and NNF. desfés
• actprev 20:5220:52, 3 jul 2013 Olathe discussió contribucions m 5.468 octets +27 →See also: +Negation normal form desfés
• actprev 20:4120:41, 3 jul 2013 Olathe discussió contribucions m 5.441 octets +18 Link to Boolean algebra-specific normal form article desfés
• actprev 20:3220:32, 3 jul 2013 Olathe discussió contribucions m 5.423 octets +12 Links no longer redirect, consistent red-green ordering desfés
• actprev 20:2620:26, 3 jul 2013 Olathe discussió contribucions m 5.411 octets +15 Disambiguated normal form desfés
• actprev 20:2120:21, 3 jul 2013 Olathe discussió contribucions m 5.396 octets −1 →Converting to algebraic normal form: an formula -> a formula desfés
• actprev 20:2020:20, 3 jul 2013 Olathe discussió contribucions m 5.397 octets −12 expression -> formula desfés
• actprev 20:1820:18, 3 jul 2013 Olathe discussió contribucions m 5.409 octets −73 Various minor improvements desfés
• actprev 20:0520:05, 3 jul 2013 Olathe discussió contribucions m 5.482 octets +34 →A canonical representation: More precise desfés
• actprev 20:0020:00, 3 jul 2013 Olathe discussió contribucions m 5.448 octets −2 →Performing operations within algebraic normal form: logical complement -> logical negation desfés
• actprev 19:5919:59, 3 jul 2013 Olathe discussió contribucions m 5.450 octets +8 →A canonical representation: unique -> one and only one (more precise) desfés
• actprev 19:5819:58, 3 jul 2013 Olathe discussió contribucions m 5.442 octets 0 →A canonical representation: Put the summary statement in front desfés
• actprev 19:5619:56, 3 jul 2013 Olathe discussió contribucions m 5.442 octets +2 →Canonical representation: Canonical representation -> A canonical representation (the section doesn't show how to get a canonical representation, it shows that ANF *is* a canonical representation) desfés
• actprev 19:4919:49, 3 jul 2013 Olathe discussió contribucions m 5.440 octets +11 Removed unnecessary quotes, general -> mathematically general desfés
• actprev 19:4519:45, 3 jul 2013 Olathe discussió contribucions 5.429 octets +233 Improved introduction, minor changes elsewhere, removed {{logic-stub}} desfés
• actprev 19:0019:00, 3 jul 2013 Olathe discussió contribucions m 5.196 octets +30 →Performing standard boolean operations: Linkified distributed algebraically and De Morgan's laws desfés
• actprev 18:5418:54, 3 jul 2013 Olathe discussió contribucions m 5.166 octets +2 →Converting to algebraic normal form: Better wording desfés
• actprev 18:5318:53, 3 jul 2013 Olathe discussió contribucions m 5.164 octets −3 →Converting to algebraic normal form: Better wording desfés
• actprev 18:4718:47, 3 jul 2013 Olathe discussió contribucions m 5.167 octets −10 →Converting to algebraic normal form: Bullet points and equal signs are unnecessary desfés
• actprev 18:4218:42, 3 jul 2013 Olathe discussió contribucions m 5.177 octets −1 →Performing standard boolean operations: No need for xx desfés
• actprev 18:4118:41, 3 jul 2013 Olathe discussió contribucions m 5.178 octets −26 →Performing standard boolean operations: Equal signs are obvious and ruin alignment desfés
• actprev 18:4018:40, 3 jul 2013 Olathe discussió contribucions m 5.204 octets +6 →Performing standard boolean operations: Got rid of distracting bullet points desfés
• actprev 18:3818:38, 3 jul 2013 Olathe discussió contribucions m 5.198 octets +126 →Performing standard boolean operations: Consistency for XOR example. desfés
• actprev 18:3618:36, 3 jul 2013 Olathe discussió contribucions m 5.072 octets +284 →Performing standard boolean operations: Added coloring to indicate the most important step. desfés
• actprev 18:2918:29, 3 jul 2013 Olathe discussió contribucions m 4.788 octets +19 →Obtaining algebraic normal form: Better wording desfés
• actprev 18:2218:22, 3 jul 2013 Olathe discussió contribucions m 4.769 octets −3 Might as well put 1 in front, since that's how we want it to end up. desfés
• actprev 18:1818:18, 3 jul 2013 Olathe discussió contribucions m 4.772 octets +72 →Obtaining algebraic normal form: Now consistent with new OR method. desfés
• actprev 18:1518:15, 3 jul 2013 Olathe discussió contribucions m 4.700 octets +8 →Obtaining algebraic normal form: Better wording desfés
• actprev 18:0618:06, 3 jul 2013 Olathe discussió contribucions m 4.692 octets +9 →ANF can represent all boolean functions: Better section name desfés
• actprev 18:0318:03, 3 jul 2013 Olathe discussió contribucions m 4.683 octets +47 →Obtaining algebraic normal form: Now with justification. desfés