84:
74:
53:
22:
581:
Despite its usefulness, this seems like an unencyclopedic list, and I think it would make much more sense as a category on
Boolean algebra instead. (After all, it's a collection of articles about a topic.)
140:
561:
209:
in this list of categories. You may add any other categories to this list, for example from subsection D below. Use the format ] (the colon (:) shows uadsfasdfafdp twice!).
166:. They were found by looking in the categories in subsection C. One can add more categories to be searched to subsection C, see some suggestions in subsection D.
620:
130:
615:
106:
537:
485:
571:
97:
58:
497:
289:
235:
224:
206:
193:
185:
163:
473:
594:
One could also try organizing this list--something that cannot be done with categories. Categories are a straightjacket.
33:
557:
489:
353:
253:
305:
341:
509:
317:
313:
285:
521:
517:
429:
409:
397:
349:
345:
249:
565:
501:
405:
301:
265:
533:
461:
245:
39:
83:
583:
373:
477:
465:
453:
377:
277:
545:
541:
481:
293:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
595:
421:
401:
393:
261:
172:
Please note that anything around here is editable, but please don't modify the lines of the form
89:
73:
52:
321:
223:
Move up to subsection C any categories which the bot should search for missing articles in the
505:
413:
337:
257:
598:
586:
529:
437:
433:
417:
389:
365:
469:
445:
169:
All this process can be restarted by clicking on the link at the bottom of subsection E.
369:
357:
309:
609:
549:
449:
425:
297:
281:
273:
525:
493:
457:
385:
381:
361:
441:
329:
102:
513:
79:
333:
325:
553:
269:
162:
In subsection A below, listed are articles which are missing from the
242:
May be redirects or articles which should be removed/categorized.
15:
101:, a collaborative effort to improve the coverage of
562:
Stone's representation theorem for
Boolean algebras
205:The bot will look for potential additions to the
192:B: Place here articles not wanted either in the
8:
47:
21:
19:
49:
538:Derivative algebra (abstract algebra)
7:
486:Boolean algebras canonically defined
95:This article is within the scope of
38:It is of interest to the following
621:High-priority mathematics articles
219:D: Potential searchable categories
14:
115:Knowledge:WikiProject Mathematics
498:Canonical form (Boolean algebra)
118:Template:WikiProject Mathematics
82:
72:
51:
20:
616:List-Class mathematics articles
135:This article has been rated as
290:Boolean satisfiability problem
236:List of Boolean algebra topics
225:List of Boolean algebra topics
207:List of Boolean algebra topics
194:List of Boolean algebra topics
186:List of Boolean algebra topics
176:<!-- bottag:X:begin --: -->
164:List of Boolean algebra topics
1:
184:A: Articles missing from the
109:and see a list of open tasks.
201:C: Categories to be searched
558:Topological Boolean algebra
490:Two-element Boolean algebra
354:Boolean prime ideal theorem
254:Boolean algebra (structure)
637:
599:22:37, 15 April 2006 (UTC)
587:05:53, 15 April 2006 (UTC)
306:Symmetric Boolean function
474:Lindenbaum–Tarski algebra
342:Boolean conjunctive query
134:
67:
46:
510:Ivan Ivanovich Zhegalkin
318:Evasive Boolean function
314:Complete Boolean algebra
286:Sole sufficient operator
141:project's priority scale
572:Refresh the above lists
522:Conjunctive normal form
518:Boolean-valued function
430:Disjunctive normal form
410:Conditioned disjunction
398:Laws of classical logic
350:Functional completeness
346:Boolean algebra (logic)
250:Monadic Boolean algebra
98:WikiProject Mathematics
566:Propositional calculus
502:Duality (order theory)
406:Charles Sanders Peirce
302:William Stanley Jevons
266:Lupanov representation
28:This article is rated
577:Make this a category?
534:Logical biconditional
462:Algebraic normal form
246:Marshall Harvey Stone
478:Free Boolean algebra
466:Boolean-valued model
454:Zhegalkin polynomial
378:Symmetric difference
278:Material conditional
121:mathematics articles
546:Compactness theorem
542:Logical implication
482:Logical conjunction
374:Boole's syllogistic
294:Logical disjunction
196:or in subsection A.
422:And-inverter graph
402:Logical connective
394:Augustus De Morgan
262:Indicator function
90:Mathematics portal
34:content assessment
506:Consensus theorem
414:Majority function
338:Existential graph
258:First-order logic
238:not in categories
155:
154:
151:
150:
147:
146:
628:
530:Logical equality
438:Boolean function
434:Logical negation
418:Interior algebra
390:Boolean analysis
366:Entitative graph
322:De Morgan's laws
180:or their order.
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
23:
16:
636:
635:
631:
630:
629:
627:
626:
625:
606:
605:
579:
470:Algebra of sets
446:Heyting algebra
240:
234:E: Articles in
221:
203:
198:
189:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
634:
632:
624:
623:
618:
608:
607:
604:
603:
602:
601:
578:
575:
370:Boolean domain
358:Sheffer stroke
310:Logical matrix
239:
232:
230:
220:
217:
215:
212:
202:
199:
197:
190:
188:
182:
178:
177:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
633:
622:
619:
617:
614:
613:
611:
600:
597:
596:Michael Hardy
593:
592:
591:
590:
589:
588:
585:
576:
574:
573:
569:
567:
563:
559:
555:
551:
550:Logical value
547:
543:
539:
535:
531:
527:
523:
519:
515:
511:
507:
503:
499:
495:
491:
487:
483:
479:
475:
471:
467:
463:
459:
455:
451:
450:Stone duality
447:
443:
439:
435:
431:
427:
426:Logical graph
423:
419:
415:
411:
407:
403:
399:
395:
391:
387:
383:
379:
375:
371:
367:
363:
359:
355:
351:
347:
343:
339:
335:
331:
327:
323:
319:
315:
311:
307:
303:
299:
298:Field of sets
295:
291:
287:
283:
282:Formal system
279:
275:
271:
267:
263:
259:
255:
251:
247:
243:
237:
233:
231:
228:
226:
218:
216:
213:
210:
208:
200:
195:
191:
187:
183:
181:
175:
174:
173:
170:
167:
165:
157:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
18:
17:
580:
570:
526:George Boole
494:Karnaugh map
458:Exclusive or
386:Peirce arrow
382:Laws of Form
362:Venn diagram
274:Peirce's law
244:
241:
229:
222:
214:
211:
204:
179:
171:
168:
161:
158:List updater
136:
96:
40:WikiProjects
584:Leapfrog314
442:Logical NOR
330:Truth table
112:Mathematics
103:mathematics
59:Mathematics
610:Categories
514:Logic gate
30:List-class
334:John Venn
326:Implicant
554:Minilog
270:Ampheck
139:on the
36:scale.
564:--
560:--
556:--
552:--
548:--
544:--
540:--
536:--
532:--
528:--
524:--
520:--
516:--
512:--
508:--
504:--
500:--
496:--
492:--
488:--
484:--
480:--
476:--
472:--
468:--
464:--
460:--
456:--
452:--
448:--
444:--
440:--
436:--
432:--
428:--
424:--
420:--
416:--
412:--
408:--
404:--
400:--
396:--
392:--
388:--
384:--
380:--
376:--
372:--
368:--
364:--
360:--
356:--
352:--
348:--
344:--
340:--
336:--
332:--
328:--
324:--
320:--
316:--
312:--
308:--
304:--
300:--
296:--
292:--
288:--
284:--
280:--
276:--
272:--
268:--
264:--
260:--
256:--
252:--
248:--
131:High
568:--
612::
582:--
227:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
