84:
74:
53:
283:
later made OR a main squeeze, they respected prior algebraic use and coined new symbols for it, Peirce using "+," at first. It seems to have been Schröder who initiated the perversion of using "+" for OR, and that became more commmon in engineering applications, but it has caused almost as much miscommunication and consequent wasted resources as
English and Metric units on the same spacecraft.
22:
245:
185:
158:
427:" to boolean function for now. One of the confusions that developed over the years is that most mathematicians consider "operation" and "operator" to be synonyms, while some folks in philosophy and also engineering use "operator" to mean something morally equivalent to the "symbol" that denotes the corresponding operation.
546:
I've completed
Calculus III and I have no idea what any of this article is talking about either. I could be wrong but I believe only mathemeticians will understand it. I wish these articles could be more helpful to the general population. The authors are probably more concerned with being scrutinized
636:
For
Boolean functions the order of the arguments matters. For truth functions it only matters which values are present for the arguments. E.g. for classical logic the domain of a truth function is the set consisting of the following four elements: the empty set, the set {true}, the set {false}, the
726:
almost about the same; I think we need two or three articles instead of four. But analogy with real and complex values functions is incorrect. Words "real" or "complex" functions are ambiguous: real/complex-valued? From real/complex numbers to the same field? But a "Boolean function" is something
624:
There is certainly much less difference between them (if any) than between many other pairs of topics that have been merged. Unfortunately we have an incredible amount of useless duplication in our elementary logic articles. The problem is often made worse by sloppy language in one or more of the
282:
JA: In mathematical contexts, let me recommend using "+" for the field operation in GF(2), and thus for the boolean operation also known as "XOR", "NEQ", etc. This is the way that Boole originally used it, so it's a misnomer to describe inclusive disjunction by that name. When Peirce and Jevons
741:
Your point is a good one. I didn't consider that real/complex function are not standard mathematical terms. I am not sure that I agree about your last sentence. When you take a different set of truth values, these expressions are a priori undefined. I think you are intending a more syntactical
478:
I know its been a long time since somebody has looked in here, but a
Boolean Operator is also a word or symbol helped to refine searches in a search engine, and while related, is not one of the described topics. I made a brief entry about it, but if it cannot be expanded, merging is suggested.
632:
Boolean functions always take finitely many arguments while truth functions can also take infinitely many. I don't think this is true. – My educated guess is that "including an infinity of them" was added by a certain banned former editor who is obsessed with inventing terminological
366:
is really an operator on syntactic strings, say, sentences. Some of these distinctions have gotted mushed over in recent years for various historical and philosophical POV reasons. The relevant articles will eventually be rewritten to make all of this more clear, so stay tuned.
510:"More generally, a function of the form f : X → B, where X is an arbitrary set, is a boolean-valued function. If X = M = {1, 2, 3, …}, then f is a binary sequence, that is, an infinite sequence of 0's and 1's. If X = = {1, 2, 3, …, k}, then f is a binary sequence of length k.
313:
At least I as a layman in that filed could not find a good piece of reference for a "logical operator" under the present article. This existing redirect seems to be somewhat vague. Maybe "logical operator" should be redirected to "logical connective" instead of here?
525:
I thought I knew a bit about
Boolean functions, and looked up this page to learn more. I couldn't understand enough of it to work out what Boolean functions are. I studied 2 years of university level maths (pure and applied), though admittedly a few years ago.
628:
Boolean functions are always about standard binary logic (i.e. there are exactly two truth values), while truth functions can be more general. – This is arguably true, but not something that should be stressed by creating two completely separate
309:
There is also the article "logical connective" with direct reference regarding "logical operator" as the preferred term in algebraic logic. An explanation of the concept follows (that explanation cannot be found here under "Boolean function").
642:
The only legitimate difference that I can see is that when you want to generalise to arbitrary "truth values" you can call it a truth function but not a
Boolean function because the word "Boolean" carries a strong connotation of
550:
I think people who surf
Knowledge (XXG) and scrutinize and criticize the minutia of the technical details of the authors really are doing more harm than good. I think Knowledge (XXG) should be for everybody, not just the elite.
235:
140:
444:
is some part of the boolean functions theory is not valid. There are some differences deeply in mathematical logics, some of which are visible in programming. For exapmle, in C a statement like
647:
727:
well defined. Of course, truth functions are yet another topic, because e.g. « x → y » and « ¬x ⋁ y » are equivalent as
Boolean functions, but may differ in another logical systems.
294:
Done. I had been in two minds as to whether I should use "+". My knowledge of boolean functions is pretty much limited to their uses in crypto, so feel free to edit as you see fit.
907:
259:
820:
816:
802:
466:
912:
902:
897:
225:
547:
by their equals than with being helpful to the learners. I know this is supposed to be an 'encyclopedia' but who is it helping if that position is taken?
385:(which, strangely, isn't ever linked to in this article). I haven't changed this yet, since it all looks like a mess, but this definitely needs attention.
917:
892:
887:
130:
201:
882:
788:
517:
For the prior functions with domain X = , there are only 2 to the k functions. I suggest moving the 2 to the 2 to the k before the prior paragraph..
254:
168:
106:
192:
163:
415:
330:
97:
58:
558:
338:
JA: This whole complex of articles is currently in the process of being cleaned up. Right at the moment, though, the best target for
798:
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
33:
694:
by a user who has taught
Boolean logic at some kind of school although he doesn't even seem to have reached the level of
863:
723:
484:
789:
https://web.archive.org/web/20160305044628/http://www.doiserbia.nb.rs/img/doi/1451-4869/2003/1451-48690301071J.pdf
819:
to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the
746:. I didn't mention that article because of this legitimate distinction from Boolean function / truth function.
411:
326:
39:
21:
854:
780:
711:
683:
562:
534:
554:
403:
318:
792:
695:
437:
407:
322:
838:
If you have discovered URLs which were erroneously considered dead by the bot, you can report them with
826:
732:
615:
480:
200:
on
Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
105:
on Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
779:. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit
650:. Unfortunately the task force for cleaning up these articles has given up. (I hope only temporarily.)
83:
399:" and explain the differences as well as different relations of the concept. 23:54, 16 May 2006 (UTC)
750:
747:
702:
699:
654:
651:
743:
530:
363:
89:
823:
before doing mass systematic removals. This message is updated dynamically through the template
691:
73:
52:
839:
441:
343:
772:
728:
679:
675:
671:
611:
592:
469:
396:
347:
339:
846:
625:
articles. In this case, if you take the definitions seriously as mathematical definitions:
451:
428:
424:
378:
368:
284:
805:, "External links modified" talk page sections are no longer generated or monitored by
719:
583:
845:
If you found an error with any archives or the URLs themselves, you can fix them with
812:
876:
715:
687:
667:
663:
603:
382:
351:
197:
506:
But the count appears AFTER the introduction of general boolean-valued functions:
350:. The reason is this: Strictly speaking, a logical operator is an operation on
710:
I agree, there is a lot of clueless duplication, for example there are articles
588:
295:
102:
811:. No special action is required regarding these talk page notices, other than
79:
244:
868:
753:
736:
705:
657:
619:
596:
566:
538:
488:
472:
431:
389:
371:
298:
287:
386:
793:
http://www.doiserbia.nb.rs/img/doi/1451-4869/2003/1451-48690301071J.pdf
184:
157:
395:
In that case, it would probably be best to create a separate article "
637:
set {true, false}. – The last sentence is of course completely false.
446:
if ( check_condition && some_condition() ) { do_somephing; };
646:
If you want to see more examples of this problem, take a look at
607:
502:
There are 2 to the 2 to the k functions from f:B to the k -: -->
15:
243:
783:
for additional information. I made the following changes:
610:? Perhaps several millions of people feel no difference.
529:
Could we have an intro that regular people understand? --
776:
454:
196:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
815:using the archive tool instructions below. Editors
460:
305:Why is "logical operator" directed to this page?
648:WP:WikiProject Logic/Boolean algebra task force
514:There are 2 to the 2 to the k such functions."
801:This message was posted before February 2018.
499:There is a typo on the Boolean function page.
8:
19:
771:I have just modified one external link on
152:
47:
453:
908:Mid-importance Computer science articles
448:has nothing to do with boolean function
210:Knowledge (XXG):WikiProject Cryptography
154:
115:Knowledge (XXG):WikiProject Mathematics
49:
913:WikiProject Computer science articles
903:Start-Class Computer science articles
7:
898:Mid-importance Cryptography articles
686:. (That article should really be at
190:This article is within the scope of
95:This article is within the scope of
573:Boolean function vs. truth function
38:It is of interest to the following
14:
918:WikiProject Cryptography articles
893:Start-Class Cryptography articles
888:Mid-priority mathematics articles
775:. Please take a moment to review
213:Template:WikiProject Cryptography
883:Start-Class mathematics articles
183:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
602:What is the difference between
577:What is the difference between
230:This article has been rated as
135:This article has been rated as
489:07:27, 22 September 2008 (UTC)
1:
754:19:19, 6 September 2010 (UTC)
737:15:28, 6 September 2010 (UTC)
706:11:32, 6 September 2010 (UTC)
658:11:17, 6 September 2010 (UTC)
620:06:30, 6 September 2010 (UTC)
597:17:23, 5 September 2010 (UTC)
567:14:38, 3 September 2010 (UTC)
252:This article is supported by
204:and see a list of open tasks.
109:and see a list of open tasks.
543:== ditto on the all Greek==
255:WikiProject Computer science
724:Two-element Boolean algebra
934:
832:(last update: 5 June 2024)
768:Hello fellow Wikipedians,
539:23:40, 16 March 2010 (UTC)
299:21:26, 12 March 2006 (UTC)
288:19:42, 12 March 2006 (UTC)
869:11:43, 23 July 2017 (UTC)
473:11:30, 24 June 2007 (UTC)
277:Plus and its vicissitudes
251:
229:
178:
134:
67:
46:
432:02:58, 17 May 2006 (UTC)
390:20:00, 16 May 2006 (UTC)
381:, instead, redirects to
372:03:44, 15 May 2006 (UTC)
193:WikiProject Cryptography
141:project's priority scale
764:External links modified
712:Boolean algebra (logic)
684:Boolean algebra (logic)
98:WikiProject Mathematics
696:conscious incompetence
462:
461:{\displaystyle \land }
248:
28:This article is rated
463:
247:
216:Cryptography articles
32:on Knowledge (XXG)'s
813:regular verification
452:
121:mathematics articles
803:After February 2018
690:, but the title is
682:should redirect to
438:user:213.219.91.114
436:I strongly support
857:InternetArchiveBot
808:InternetArchiveBot
744:logical connective
458:
423:JA: I redirected "
364:logical connective
249:
90:Mathematics portal
34:content assessment
833:
557:comment added by
537:
442:Logical operation
440:. The claim that
420:
406:comment added by
344:logical operation
335:
321:comment added by
274:
273:
270:
269:
266:
265:
151:
150:
147:
146:
925:
867:
858:
831:
830:
809:
773:Boolean function
742:approach, as in
680:Boolean function
676:complex analysis
672:complex function
579:boolean function
569:
533:
495:Boolean function
481:Colonel Marksman
467:
465:
464:
459:
447:
419:
400:
397:logical operator
348:boolean function
340:logical operator
334:
315:
236:importance scale
218:
217:
214:
211:
208:
187:
180:
179:
174:
171:
169:Computer science
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
933:
932:
928:
927:
926:
924:
923:
922:
873:
872:
861:
856:
824:
817:have permission
807:
781:this simple FaQ
766:
575:
552:
544:
523:
521:All Greek to me
497:
450:
449:
445:
425:logic operation
401:
379:logic operation
316:
307:
279:
215:
212:
209:
206:
205:
172:
166:
120:
117:
114:
111:
110:
88:
81:
61:
29:
12:
11:
5:
931:
929:
921:
920:
915:
910:
905:
900:
895:
890:
885:
875:
874:
851:
850:
843:
796:
795:
787:Added archive
765:
762:
761:
760:
759:
758:
757:
756:
720:Boolean domain
660:
644:
640:
639:
638:
634:
630:
622:
584:truth function
574:
571:
542:
522:
519:
512:
511:
496:
493:
492:
491:
457:
408:213.219.91.114
393:
392:
354:, values like
352:logical values
323:213.219.91.114
306:
303:
302:
301:
291:
290:
278:
275:
272:
271:
268:
267:
264:
263:
260:Mid-importance
250:
240:
239:
232:Mid-importance
228:
222:
221:
219:
202:the discussion
188:
176:
175:
173:Mid‑importance
161:
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:
930:
919:
916:
914:
911:
909:
906:
904:
901:
899:
896:
894:
891:
889:
886:
884:
881:
880:
878:
871:
870:
865:
860:
859:
848:
844:
841:
837:
836:
835:
828:
822:
818:
814:
810:
804:
799:
794:
790:
786:
785:
784:
782:
778:
774:
769:
763:
755:
752:
749:
745:
740:
739:
738:
734:
730:
725:
721:
717:
716:Boolean logic
713:
709:
708:
707:
704:
701:
697:
693:
689:
688:Boolean logic
685:
681:
677:
674:redirects to
673:
669:
668:real analysis
666:redirects to
665:
664:Real function
661:
659:
656:
653:
649:
645:
641:
635:
633:differences.)
631:
627:
626:
623:
621:
617:
613:
609:
605:
604:English verbs
601:
600:
599:
598:
594:
590:
586:
585:
580:
572:
570:
568:
564:
560:
559:99.147.240.11
556:
548:
541:
540:
536:
532:
531:Chriswaterguy
527:
520:
518:
515:
509:
508:
507:
504:
500:
494:
490:
486:
482:
477:
476:
475:
474:
471:
455:
443:
439:
434:
433:
430:
426:
421:
417:
413:
409:
405:
398:
391:
388:
384:
383:Boolean logic
380:
376:
375:
374:
373:
370:
365:
361:
357:
353:
349:
345:
341:
336:
333:) 15 May 2006
332:
328:
324:
320:
311:
304:
300:
297:
293:
292:
289:
286:
281:
280:
276:
261:
258:(assessed as
257:
256:
246:
242:
241:
237:
233:
227:
224:
223:
220:
203:
199:
195:
194:
189:
186:
182:
181:
177:
170:
165:
162:
159:
155:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
855:
852:
827:source check
806:
800:
797:
770:
767:
582:
578:
576:
549:
545:
528:
524:
516:
513:
505:
501:
498:
435:
422:
394:
359:
355:
337:
312:
308:
253:
231:
207:Cryptography
198:Cryptography
191:
164:Cryptography
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
729:Incnis Mrsi
612:Incnis Mrsi
553:—Preceding
402:—Preceding
317:—Preceding
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
877:Categories
864:Report bug
678:. I think
429:Jon Awbrey
377:Note that
369:Jon Awbrey
362:, while a
285:Jon Awbrey
847:this tool
840:this tool
643:"binary".
629:articles.
853:Cheers.—
555:unsigned
416:contribs
404:unsigned
346:both is
331:contribs
319:unsigned
777:my edit
692:"owned"
296:…Ner102
234:on the
139:on the
698:yet.)
670:, and
589:Abdull
36:scale.
751:Adler
703:Adler
655:Adler
360:false
748:Hans
733:talk
722:and
700:Hans
662:PS:
652:Hans
616:talk
608:verb
606:and
593:talk
587:? --
581:and
563:talk
535:talk
485:talk
412:talk
358:and
356:true
342:and
327:talk
821:RfC
791:to
503:B.
470:гык
387:LjL
226:Mid
131:Mid
879::
834:.
829:}}
825:{{
735:)
718:,
714:,
618:)
595:)
565:)
487:)
468:.
456:∧
418:)
414:•
329:•
262:).
167::
866:)
862:(
849:.
842:.
731:(
614:(
591:(
561:(
483:(
410:(
325:(
238:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.