253:
243:
222:
775:
Application example. That addition, admittedly, reads more like an engineering text, departing from the dry academic tone of the first part. I think it's a useful thing to do here even if it is a change of tone, but I did tone down the most colorful image (lemon/lemonade). I'm definitely a beginner at Wiki-ing, so I hope it's not ill-mannered to have removed the front notes about tone and citations (having addressed both issues to some extent).
452:
191:
354:
327:
818:. The article implies (under the 'Functional equivalence' headings that they are "a special form of" DNF and CNF respectively, but there doesn't seem to be any difference at all. It's not that unusual to have two completely redundant sets of terminology, but it seems odd for such a fundamental aspect of boolean algebra. What, if anything, am I missing? --
364:
944:
I don't care much what the new title would be. Fact is that while CDNF and CCNF are similar, they are not the same. A redirect should go to an article that is a synonym, or a wider article that contains information about the subject that was redirected from. CDNF is not more abstract/wider than CCNF
928:
This article covers the canonical disjunctive and conjunctive normal forms in
Boolean algebra, which are very similar in a deep sense (they are dual). The article title was recently changed to "canonical normal form", which is too vague: there are lots of canonical normal forms: in Unicode, in game
833:
I don't know for sure, but maybe because classical
Boolean algebra is performed as conventional arithmetic on variables assigned a restricted set of values { 0, 1 }, the terms "conjunctive" and "disjunctive" from set theory/logic don't apply. As I go through this, I observe that the sign " + " is a
735:
I've tried to respond to the editors' desire for expansion and clarification, plus all the issues raised in readers' posts. My viewpoint, as one of the designers of the Apollo
Guidance Computer, is to pursue two goals. The first is of course the academic definition of canonical form, minterms, and
774:
First, thanks to Jwh335 for his careful and systematic editing, including standardization of table formats. I put in an expanded section title where he expressed uncertainty. As to whether it reads like an encyclopedic article, I think I preserved the original style up to my major addition of the
706:
The fact that every
Boolean expression can be written in both forms holds in an arbitrary Boolean algebra, because it follows from Boolean algebra (uncountable). I will remove the definite article, change the link, and edit the article so it also mentions the terms that mathematicians use:
622:
I've been taught that theres a standard way to number minterms, and I was wondering if everyone numbers minterms the same way - and if so, then how exactly is it determined. I know one format we use for four variables, but it may not be the only way. Does anyone know about this?
945:
or the other way around and they are not the same thing, and redirecting one to the other suggested otherwise. I think it could even be redirected to "Canonical disjunctive and conjunctive normal form" or something like that.
153:
540:
I would think that would be a sufficient explanation of a synonym used. There is a lot of explanation of the concepts elsewhere in the article. I don't know what you're expecting to be present in the article.
929:
theory, in computer algebra, etc. Perhaps the article should be entitled "canonical normal form (Boolean algebra)". But in that case, it should cover all the canonical forms in
Boolean algebra. --
309:
147:
653:
i'v replaced ...a
Boolean function that is composed of standard logical operators... with ...any boolean function... since any boolean function can be expressed as pos/sop.
885:. This needs more research. I have pdf cc's of some old stuff downloaded from googlebooks.com (Boole, Venn, etc). Maybe I can find something of historical import. Bill
385:
on
Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
44:
1010:
422:
412:
790:
The main problem with the overall tone is that it reads as if one is being instructed through a how to article. I will see what I can do to revise this.
1000:
299:
79:
1020:
275:
995:
656:
i'v also added a section about non cannonical sop.pos forms. since they both refer here i feel it is important to have a section about them.
387:
85:
1005:
972:
633:
For computer logic design, in my experience, numbering goes like the "indexing minterms" section says. It's a logical definition IMO. -
1025:
586:
Ok, its fine now. I just expected that you wouldn't have to scour the article to find something about a term that links to the page.
266:
227:
168:
905:
This article is inaccurate, as there are more canonical forms than conjunctive and disjunctive normal forms. For example, there is
490:
If both "sum of products" and "product of sums" redirects here, this page should have some discussion at *least* about the terms.
135:
377:
332:
1015:
99:
30:
104:
20:
823:
74:
202:
129:
677:
459:
337:
65:
764:
125:
881:
Thus the sum of products canonical form in
Boolean algebra looks like DNF but isn't really quite the same thing
482:
A terrible description of canonical form. Do some research and figure out what canonical form really is please.
819:
976:
175:
815:
811:
712:
708:
109:
906:
208:
24:
252:
968:
720:
716:
638:
567:
659:
190:
161:
141:
55:
513:
Ok, I read closer. I saw each term mentioned once. No explanation about what either of them mean.
274:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
950:
934:
890:
791:
776:
756:
737:
258:
70:
242:
221:
369:
51:
914:
795:
780:
760:
741:
624:
587:
514:
491:
736:
maxterms. The second is to show how these academic concepts rub up against the real world.
562:
It'd probably help to put them in the head. SoP and PoS seem to be pretty commonly used. -
673:
634:
563:
696:
is an arbitrary
Boolean algebra. Would someone like to clarify what is intended here? --
965:
What is the origin of the terms called maxterm and minterm, i.e. why "min" and "max"?
697:
604:
542:
501:
479:
This article is just wrong: there are no canonical CNF or DNF! Only ANF is canonical.
451:
989:
946:
930:
886:
684:. But it seems unlikely to me that such a result holds for arbitrary functions from
848:
p & q being defined as p*q, the sign " * " being conventional from arithmetic
980:
954:
938:
918:
910:
894:
827:
799:
784:
745:
724:
700:
662:
642:
627:
607:
590:
571:
545:
517:
504:
494:
271:
382:
359:
248:
845:
p' being defined as 1-p, the sign " - " being conventional from arithmetic
603:
It would have helped greatly if you would have said words to that effect.
381:, a collaborative effort to improve the coverage of content related to
834:
major source of confusion and needs to be further specified i.e. 1 +
353:
326:
755:
This article doesn't read like an encyclopedic article at all.
184:
15:
450:
810:
As far as I can see, "sum of products" is the same as
160:
855:
q being defined as 1-(1-p)*(1-q) = 1-(1-p-q+p*q)= p +
270:, a collaborative effort to improve the coverage of
433:
750:
33:for general discussion of the article's subject.
536:"product of sums" (maxterms AND'd in series).
531:"sum of products" (minterms OR'd in series).
174:
8:
966:
770:Addressing concerns of Jwh335 and SmackBot
430:
321:
216:
751:Doesn't read like an encyclopedic article
901:There are more than two canonical forms
814:, and "product of sums" is the same as
323:
218:
188:
391:about philosophy content on Knowledge.
618:specific definition of minterm number
7:
375:This article is within the scope of
264:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
1011:Low-importance Philosophy articles
680:because of the indefinite article
14:
1001:Mid-priority mathematics articles
874:y*(1-z) - ((1-x)*(1-y))*(y*(1-z))
284:Knowledge:WikiProject Mathematics
500:Read the article again, closer.
397:Knowledge:WikiProject Philosophy
362:
352:
325:
287:Template:WikiProject Mathematics
251:
241:
220:
189:
45:Click here to start a new topic.
731:Major expansion of this article
417:This article has been rated as
400:Template:WikiProject Philosophy
304:This article has been rated as
955:16:29, 28 September 2013 (UTC)
939:00:02, 27 September 2013 (UTC)
1:
1021:Low-importance logic articles
895:16:14, 24 December 2009 (UTC)
866:yz' is actually (1-x)*(1-y) +
828:14:40, 24 December 2009 (UTC)
800:20:51, 13 February 2009 (UTC)
668:an arbitrary Boolean algebra?
278:and see a list of open tasks.
42:Put new text under old text.
996:C-Class mathematics articles
981:00:11, 31 January 2020 (UTC)
785:04:08, 2 February 2009 (UTC)
765:22:16, 25 January 2009 (UTC)
725:16:06, 29 January 2008 (UTC)
608:22:51, 7 February 2006 (UTC)
591:22:27, 7 February 2006 (UTC)
572:09:11, 7 February 2006 (UTC)
546:09:05, 7 February 2006 (UTC)
518:08:54, 7 February 2006 (UTC)
505:07:20, 6 February 2006 (UTC)
495:07:19, 6 February 2006 (UTC)
1006:C-Class Philosophy articles
746:23:22, 5 January 2009 (UTC)
678:Boolean algebra (structure)
50:New to Knowledge? Welcome!
1042:
423:project's importance scale
1026:Logic task force articles
701:22:02, 23 July 2007 (UTC)
676:", so I disambiguated to
663:16:16, 13 June 2007 (UTC)
643:21:06, 6 March 2006 (UTC)
628:04:45, 6 March 2006 (UTC)
458:
429:
416:
347:
303:
236:
215:
80:Be welcoming to newcomers
919:20:45, 3 July 2013 (UTC)
310:project's priority scale
870:y*(1-z) = (1-x)*(1-y) +
816:Conjunctive Normal Form
812:Disjunctive Normal Form
806:Relation to DNF and CNF
713:conjunctive normal form
709:disjunctive normal form
672:The heading said "in a
434:Associated task forces:
267:WikiProject Mathematics
1016:C-Class logic articles
455:
378:WikiProject Philosophy
197:This article is rated
75:avoid personal attacks
907:algebraic normal form
820:David-Sarah Hopwood ⚥
454:
100:Neutral point of view
25:Canonical normal form
290:mathematics articles
105:No original research
403:Philosophy articles
456:
388:general discussion
259:Mathematics portal
203:content assessment
86:dispute resolution
47:
983:
971:comment added by
477:
476:
473:
472:
469:
468:
465:
464:
370:Philosophy portal
320:
319:
316:
315:
183:
182:
66:Assume good faith
43:
1033:
838:1 = 1 versus 1 +
441:
431:
405:
404:
401:
398:
395:
372:
367:
366:
365:
356:
349:
348:
343:
340:
329:
322:
292:
291:
288:
285:
282:
261:
256:
255:
245:
238:
237:
232:
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
1041:
1040:
1036:
1035:
1034:
1032:
1031:
1030:
986:
985:
963:
926:
903:
873:
869:
865:
862:Example: x'y' +
858:
854:
841:
837:
808:
772:
753:
733:
674:Boolean algebra
670:
651:
620:
488:
486:sum of products
439:
402:
399:
396:
393:
392:
368:
363:
361:
341:
335:
289:
286:
283:
280:
279:
257:
250:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1039:
1037:
1029:
1028:
1023:
1018:
1013:
1008:
1003:
998:
988:
987:
962:
959:
958:
957:
925:
922:
902:
899:
898:
897:
879:
878:
877:
876:
875:
871:
867:
863:
856:
852:
849:
846:
839:
835:
807:
804:
803:
802:
771:
768:
752:
749:
732:
729:
728:
727:
669:
666:
650:
647:
646:
645:
619:
616:
615:
614:
613:
612:
611:
610:
596:
595:
594:
593:
581:
580:
579:
578:
577:
576:
575:
574:
553:
552:
551:
550:
549:
548:
538:
533:
523:
522:
521:
520:
508:
507:
487:
484:
475:
474:
471:
470:
467:
466:
463:
462:
457:
447:
446:
444:
442:
436:
435:
427:
426:
419:Low-importance
415:
409:
408:
406:
374:
373:
357:
345:
344:
342:Low‑importance
330:
318:
317:
314:
313:
302:
296:
295:
293:
276:the discussion
263:
262:
246:
234:
233:
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1038:
1027:
1024:
1022:
1019:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
997:
994:
993:
991:
984:
982:
978:
974:
973:91.125.85.104
970:
960:
956:
952:
948:
943:
942:
941:
940:
936:
932:
924:Article title
923:
921:
920:
916:
912:
908:
900:
896:
892:
888:
884:
880:
861:
860:
850:
847:
844:
843:
832:
831:
830:
829:
825:
821:
817:
813:
805:
801:
797:
793:
789:
788:
787:
786:
782:
778:
769:
767:
766:
762:
758:
748:
747:
743:
739:
730:
726:
722:
718:
714:
710:
705:
704:
703:
702:
699:
695:
691:
687:
683:
679:
675:
667:
665:
664:
661:
657:
654:
648:
644:
641:
640:
636:
632:
631:
630:
629:
626:
617:
609:
606:
602:
601:
600:
599:
598:
597:
592:
589:
585:
584:
583:
582:
573:
570:
569:
565:
561:
560:
559:
558:
557:
556:
555:
554:
547:
544:
539:
537:
534:
532:
529:
528:
527:
526:
525:
524:
519:
516:
512:
511:
510:
509:
506:
503:
499:
498:
497:
496:
493:
485:
483:
480:
461:
453:
449:
448:
445:
443:
438:
437:
432:
428:
424:
420:
414:
411:
410:
407:
390:
389:
384:
380:
379:
371:
360:
358:
355:
351:
350:
346:
339:
334:
331:
328:
324:
311:
307:
301:
298:
297:
294:
277:
273:
269:
268:
260:
254:
249:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
967:— Preceding
964:
927:
904:
882:
809:
773:
754:
734:
693:
689:
685:
681:
671:
658:
655:
652:
637:
621:
566:
535:
530:
489:
481:
478:
418:
386:
376:
306:Mid-priority
305:
265:
231:Mid‑priority
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
883:technically
625:Fresheneesz
588:Fresheneesz
515:Fresheneesz
492:Fresheneesz
281:Mathematics
272:mathematics
228:Mathematics
148:free images
31:not a forum
990:Categories
717:Hans Adler
394:Philosophy
383:philosophy
333:Philosophy
961:Etymology
698:Trovatore
660:Gregie156
605:Dysprosia
543:Dysprosia
502:Dysprosia
88:if needed
71:Be polite
21:talk page
969:unsigned
947:Sumurai8
931:Macrakis
887:Wvbailey
859:q - p*q
692:, where
56:get help
29:This is
27:article.
836:Boolean
649:sop/pos
421:on the
308:on the
199:C-class
154:WP refs
142:scholar
911:Olathe
842:1 = 2
792:Jwh335
777:Hughbs
757:Jwh335
738:Hughbs
205:scale.
126:Google
840:arith
460:Logic
338:Logic
169:JSTOR
130:books
84:Seek
977:talk
951:talk
935:talk
915:talk
909:. —
891:talk
824:talk
796:talk
781:talk
761:talk
742:talk
721:talk
715:. --
711:and
162:FENS
136:news
73:and
851:p +
688:to
635:mak
564:mak
413:Low
300:Mid
176:TWL
992::
979:)
953:)
937:)
917:)
893:)
826:)
798:)
783:)
763:)
744:)
723:)
440:/
336::
156:)
54:;
975:(
949:(
933:(
913:(
889:(
872:a
868:B
864:B
857:a
853:B
822:(
794:(
779:(
759:(
740:(
719:(
694:B
690:B
686:B
682:a
639:o
568:o
425:.
312:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.