Boolean algebra (original) (raw)
L'àlgebra de Boole també anomenada àlgebra booleana, en matemàtica, electrònica digital i informàtica és una estructura algebraica que esquematitza les operacions lògiques. És una branca de les matemàtiques amb propietats i regles similars, tot i que diferents, a les de l'àlgebra ordinària.
| Property | Value |
|---|---|
| dbo:abstract | L'àlgebra de Boole també anomenada àlgebra booleana, en matemàtica, electrònica digital i informàtica és una estructura algebraica que esquematitza les operacions lògiques. És una branca de les matemàtiques amb propietats i regles similars, tot i que diferents, a les de l'àlgebra ordinària. (ca) Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací. Je nazvána podle britského matematika George Boolea. Mimo oblast algebry se pojem Booleova algebra zužuje na dvouprvkovou Booleovu algebru a používá se pro reprezentaci pravdivostních hodnot a logických funkcí. Klíčový význam mají Booleovy algebry také pro metodu forsingu. (cs) جبر بُول (بالإنجليزية: Boolean Algebra) هو أحد مواضيع الرياضيات والرياضيات المنطقيّة والرياضيات المُتقطّعة، ويُعتَبر فرعاً من فروع الجبر حيثُ يعمل بمُتغيّرين اثنين هما الصح أو الخطأ ويُرمز لهما بالعددين 1 و 0 بعكس الجبر الإبتدائي الذي قد يكون المُتغيّر فيه أي عددٍ كان. وفي حين أن العمليّات الرئيسيّة في الجبر هي الجمع والضرب، تكون العمليّات في الجبر البولي هي العطف أو الوصل (بالإنجليزية: Conjunction) وتُقرأ على أنّها واو العطف (وَ and) ويُرمز لها بالرمز ∧؛ والعمليّة الثانية هي الفصل (بالإنجليزية: Disjunction) وتُقرأ على أنّها حرف التخيير (أو or) ويُرمز لها بالرمز ∨؛ وثالث العمليّات الرئيسيّة هي النفي (بالإنجليزية: Negation) (ليس not) ويُرمز لها بالرمز ¬. وبهذا، تكون العلاقات في الجبر البولي مُشابِهة للعلاقات العددية المستخدمة في الجبر المعتاد. يُنسَب الجبر البولي لعالِم الرياضيات البريطاني جورج بول الذي ابتكرها وقدّمها في كتابِه الأوّل تحليل الرياضيات المنطقيّة (The Mathematical Analysis of Logic) عام 1847، وشرحها أكثر ووضع أُسسها في كتابِه استقراء قوانين التفكير (An Investigation of the Laws of Thought) عام 1854. وأول من اقتَرح مُصطلح «الجبر البولي» على هذا النوع من الجبر هو الرياضياتي الأمريكي عام 1913. عندما وضع جورج بول أُسس الجبر البولي لم يكن لهُ ذلك القدر من الأهميّة كما عندنا في الوقت الحالي، ولكن مع مجيء عصر الحواسيب اتّضَح لنا إنه باستطاعتنا تشغيل الحاسوب وبرمجته بواسطة اتّباع الطريقة البُولية، حيث أن الحاسوب يستخدم 0 و1 في عمليّاته وتفاهماته. وبذلك ساعَد الجبر البولي على تطوير الإلكترونيات الرقمية، كما أنّه يُستَخدم في نظريّة المجموعات والإحصاء. (ar) Στα Μαθηματικά και την Μαθηματική λογική, Άλγεβρα Μπουλ είναι η υποπεριοχή της άλγεβρας όπου οι τιμές των μεταβλητών είναι οι τιμές αληθείας αληθές και ψευδές, που συνήθως αναπαρίστανται με 1 και 0 αντίστοιχα. Σε αντίθεση με την στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, στην άλγεβρα Μπουλ υπάρχουν τρεις κύριες πράξεις: η σύζευξη και (συμβ. ∧), η διάζευξη ή (συμβ. ∨) και η άρνηση όχι (σύμβ. ¬). Η άλγεβρα Μπουλ εισήχθη το 1854 από τον Τζορτζ Μπουλ (George Boole) με το έργο του An Investigation of the Laws of Thought (Διερεύνηση των νόμων της σκέψης). Σύμφωνα με τον Huntington ο όρος «Άλγεβρα Μπουλ» χρησιμοποιήθηκε για πρώτη φορά από τον Sheffer το 1913. Η άλγεβρα Μπουλ είναι θεμελιώδους σημασίας για την επιστήμη της Πληροφορικής και αποτελεί την βάση για την θεωρητική μελέτη του πεδίου της λογικής σχεδίασης. Επιπλέον είναι σημαντική σε άλλα πεδία όπως η Στατιστική, η Θεωρία συνόλων και ο προγραμματισμός. (el) In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert. Gleichwertig zu booleschen Algebren sind boolesche Ringe, die von UND und ENTWEDER-ODER (exklusiv-ODER) beziehungsweise Durchschnitt und symmetrischer Differenz ausgehen. Die boolesche Algebra ist die Grundlage bei der Entwicklung von digitaler Elektronik und wird dort als Schaltalgebra, etwa bei der Erstellung von Schaltnetzen, angewandt. Sie wird in allen modernen Programmiersprachen zur Verfügung gestellt und ist auch in der und Statistik vertreten. (de) In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values true and false, usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (and) denoted as ∧, disjunction (or) denoted as ∨, and the negation (not) denoted as ¬. Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction and division. So Boolean algebra is a formal way of describing logical operations, in the same way that elementary algebra describes numerical operations. Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), and set forth more fully in his An Investigation of the Laws of Thought (1854).According to Huntington, the term "Boolean algebra" was first suggested by Sheffer in 1913, although Charles Sanders Peirce gave the title "A Boolean Algebra with One Constant" to the first chapter of his "The Simplest Mathematics" in 1880.Boolean algebra has been fundamental in the development of digital electronics, and is provided for in all modern programming languages. It is also used in set theory and statistics. (en) En abstrakta algebro, Bulea algebro estas algebra strukturo (kolekto de eroj kaj operacioj sur ilin obeanta difinitajn aksiomojn) kiuj enkaptas esencajn propraĵojn de ambaŭ aroperacioj, logikaj operacioj. Ĝi aparte rilatas al la aroperacioj, komunaĵo, kunaĵo, komplemento; kaj la logikaj operacioj logika kajo, logika aŭo, logika neo, logika malinkluziva aŭo. Bulea algebro estas tiel nomata honore al la matematikisto George Boole, kiu unue aplikis ĝin. (eo) En matemática, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza las operaciones lógicas. (es) Booleren aljebra Elektronika Digital, Informatika, eta Matematika alorretan eragiketa logikoak adierazteko erabiltzen den egitura aljebraiko bat da. (eu) L'algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques. Elle fut utilisée la première fois pour les circuits de commutation téléphonique par Claude Shannon. (fr) Is é ailgéabar Boole an cineál ailgéabair a úsáidtear le réasúnaíochta loighciúla a chur i bhfoirm mhatamaiticiúil, ainmnithe as George Boole. Sa 19ú céad, shaothraigh Boole an loighic shiombalach dhénártha ar tháinig ailgéabar Boole as, agus an mhodheolaíocht lasctha dhénártha a bhfuil ríomhairí digiteacha bunaithe uirthi. (ga) Dalam matematika dan logika matematika, Aljabar Boolean adalah struktur aljabar yang "mencakup intisari" operasi logika AND, OR, NOR, dan NAND dan juga teori himpunan untuk operasi union, dan komplemen. Penamaan Aljabar Boolean sendiri berasal dari nama seorang matematikawan asal Inggris, bernama George Boole. Dialah yang pertama kali mendefinisikan istilah itu sebagai bagian dari sistem logika pada pertengahan abad ke-19. Boolean adalah suatu tipe data yang hanya mempunyai dua nilai. Yaitu true atau false (benar atau salah). Pada beberapa bahasa pemograman nilai true bisa digantikan 1 dan nilai false digantikan 0.IC , Electronics DigitalSitus Web HTTP://IT-SOLUTION-BONEPUTE.BUSINESS.SITE/ (in) L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0. (it) In de wiskunde, met name de abstracte algebra, en in de informatica is een booleaanse algebra of boolealgebra een algebraïsche structuur met de logische operatoren AND (en), OR (of) en NOT (niet). Deze operatoren zijn direct gerelateerd aan de begrippen doorsnede, vereniging en complement uit de verzamelingenleer. Zo is het logische "uitgesloten derde", dat stelt dat een uitspraak waar is of onwaar, equivalent met de regel dat de vereniging van een verzameling en z'n complement alle in het geding zijnde elementen bevat. . Complementair daaraan is de logische vaststelling dat een uitspraak en z'n ontkenning niet samen waar kunnen zijn. Dit wordt voor verzamelingen weerspiegeld in de regel dat een verzameling en z'n complement geen gemeenschappelijk element hebben. . De booleaanse operatoren zijn genoemd naar de Brit George Boole, die ze in het midden van de 19e eeuw invoerde. Een booleaanse algebra is een poging om algebraïsche technieken te gebruiken teneinde te kunnen omgaan met logische uitdrukkingen. Booleaanse algebra's vinden bijvoorbeeld toepassing in het samenstellen van digitale elektronische schakelingen, zoals die in computers worden gebruikt. In de praktijk kan men de werking ervan onder meer zien in sommige zoeksystemen voor internetpagina's. (nl) 불 논리(Boolean logic)는 논리적 산법의 완전한 체계이다. 불 논리라는 이름은 19세기 중순에 논리의 를 처음으로 정의한 조지 불에서 따온 것이다. 불 논리는 전자 공학, 컴퓨터 하드웨어 및 소프트웨어 등으로 넓게 응용되고 있다. 1938년 클로드 섀넌(Shannon, Claude)는 불 논리를 릴레이에 의한 전기 회로 장착 방법을 나타냈다. 이 사실은 머지 않아 전자식 컴퓨터를 만드는 데에 없어서는 안 될 존재임이 밝혀졌다. 여기서는 집합 대수를 이용하고, 집합, 불 연산, 진리값 표 등의 기본 해설과 불 논리의 응용에 대해 풀이한다. 불 대수 글에는 불 논리의 공리를 만족하는 대수 구조의 형태를 설명하고 있다. 이진수에서는 컴퓨터에서 쓰이는 이진수를 풀이하고 있다. (ko) Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej. Jej nazwa pochodzi od nazwiska matematyka, filozofa i logika George’a Boole’a. Teoria algebr Boole’a jest działem matematyki na pograniczu teorii częściowego porządku, algebry, logiki matematycznej i topologii. Typowymi przykładami algebr Boole’a są: rodzina wszystkich podzbiorów ustalonego zbioru wraz z działaniami na zbiorach jako operacjami algebry oraz dwuelementowa algebra wartości logicznych {0, 1} z działaniami koniunkcji, alternatywy i negacji. (pl) Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики. Основоположником её является Дж. Буль, английский математик и логик, положивший в основу своего логического учения аналогию между алгеброй и логикой.Алгебра логики стала первой системой математической логики, в которой алгебраическая символика стала применяться к логическим выводам в операциях с понятиями, рассматриваемыми со стороны их объёмов. Буль ставил перед собой задачу решить логические задачи с помощью методов, применяемых в алгебре. Любое суждение он пытался выразить в виде уравнений с символами, в которых действуют логические законы, подобные законам алгебры. Впоследствии усовершенствованием алгебры логики занимались У. С. Джевонс, Э. Шрёдер, П. С. Порецкий, Ч. Пирс, Г. Фреге, разработавший теорию исчисления высказываний, Д. Гильберт, добившийся успехов в области применения метода формализации в операциях с логическими высказываниями. Внесли свой вклад Б. Рассел, придавший вместе с А. Уайтхедом, математической логике современный вид; И. И. Жегалкин, заслугой которого явилась дальнейшая разработка исчисления классов и значительное упрощение теории операций логического сложения; В. И. Гливенко вынес предмет алгебры логики далеко за рамки изучения объёмных операций с понятиями. Алгебра логики в её современном изложении занимается исследованием операций с высказываниями, то есть с предложениями, которые характеризуются только одним качеством — истинностным значением (истина, ложь). В классической алгебре логики высказывание одновременно может иметь только одно из двух истинностных значений: «истина» или «ложь». Алгебра логики исследует также высказывания — функции, которые могут принимать значения «истина» и «ложь» в зависимости от того, какое значение будет придано переменной, входящей в высказывание — функцию. (ru) Boolesk algebra är ursprungligen en överföring av satslogiken till kalkyl, som introducerades av George Boole år 1854. Den är även ekvivalent med mängdalgebran, med operatorerna union, snitt och komplement. Formellt kan en boolesk algebra definieras som ett distributivt lattice, vars alla element har ett komplement. Ytterligare ett exempel på en boolesk algebra är ringen , där de binära operationerna , och definieras enligt En boolesk algebra kan uppfattas som en boolesk ring. De är således ekvivalenta begrepp. En boolesk algebra kan omformas till en boolesk ring genom definitionerna . Booles logiska algebra förbättrades och utvecklades vidare av bland andra matematikerna Charles Peirce, Ernst Schröder och Giuseppe Peano, som moderniserade Booles beteckningar och uttryckssätt. Om man i Booles kalkyl låter 0 och 1 representera sanningsvärdena falskt respektive sant och operatorerna + och motsvara konnektiven respektive , fås enligt ovan endast ett undantag från ordinarie räkneregler, nämligen att 1 + 1 = 1. Med venndiagram kan man åskådliggöra de logiska funktionernas sanningsvärden. Den booleska algebran har tillämpningar bland annat inom områdena digitalteknik, kretskonstruktion, datorer och programkonstruktion. Den nedre figuren visar booleska funktionsvärdestabeller, kretskonstruktioner och venndiagram för de logiska konnektiven och, eller, materiell implikation och antingen-eller. Det sistnämnda konnektivet motsvaras i algebran av addition modulo 2 och betecknas med symbolen . (sv) Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações", são assim denominadas em homenagem ao matemático George Boole. (pt) 在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代數中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它們的），而逻辑代数的主要运算有合取与，记为∧；析取或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。 逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。 逻辑代数一直是数字电路设计的基础，并且所有现代编程语言提供支持。它也用在集合论和统计学中。 (zh) Алгебра логіки (Булева алгебра, Булева логіка, двійкова логіка, двійкова алгебра, англ. Boolean algebra) — розділ математичної логіки, що вивчає систему логічних операцій над висловлюваннями. В алгебрі логіки значенням змінних є значення істинності істина або хибність, які як правило визначаються як 1 і 0 відповідно. На відміну від елементарної алгебри, в якій значеннями змінних є числа, а основними операціями є додавання і множення, основними операціями Булевої алгебри є кон'юнкція операція І (англ. AND) позначається як ∧, диз'юнкція АБО (англ. OR) позначається як ∨, і заперечення НІ (англ. NOT) позначається як ¬. Таким чином формалізм для описання логічних відношень є аналогічним тому, як описуються числові відношення у елементарній алгебрі. Булеву алгебру запропонував Джордж Буль у своїй книзі Математичний аналіз логіки (1847), і більш детально у наступній книзі (1854).Відповідно до , термін «Булева алгебра» вперше запропонував Шеффер в 1913,хоча Чарлз Сандерс Пірс в 1880 дав назву «Булева алгебра із однією сталою» першій главі своєї книги «Найпростіша математика».Булева алгебра є фундаментальною основою для розвитку цифрової електроніки, і втілена в усіх мовах програмування. Вона також використовується у теорії множин і статистиці. (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Vennandornot.svg?width=300 |
| dbo:wikiPageExternalLink | http://plato.stanford.edu/entries/algebra-logic-tradition/ http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html https://books.google.com/books%3Fid=ZuHwCAAAQBAJ |
| dbo:wikiPageID | 54476844 (xsd:integer) |
| dbo:wikiPageLength | 75225 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122611618 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Power_set dbr:Princeton_University_Press dbr:Principia_Mathematica dbr:Programming_languages dbr:Propositional_calculus dbr:Propositional_formula dbr:Punched_card dbr:Electronic_design_automation dbr:Model_(logic) dbr:Sheffer_stroke dbr:Bitwise_operations dbr:Boolean_Algebra dbr:Boolean_differential_calculus dbr:De_Morgan's_law dbr:Algebra_of_sets dbr:Algebraic_semantics_(mathematical_logic) dbr:Algebraic_structure dbr:Algorithm dbr:De_Morgan's_laws dbr:Cambridge_and_Dublin_Mathematical_Journal dbr:Decision_problem dbr:Index_set dbr:Intuitionistic_logic dbr:Number dbc:Articles_with_example_code dbr:Combinational_logic dbr:Complement_(set_theory) dbr:Computer dbr:Computer_displays dbr:Material_conditional dbr:Mathematical_logic dbr:Mathematics dbr:Negation dbr:Claude_Shannon dbr:Edward_Vermilye_Huntington dbr:Elementary_algebra dbr:Elsevier dbr:Function_(mathematics) dbr:Function_composition dbr:GF(2) dbr:George_Boole dbr:Google dbr:Gottfried_Wilhelm_Leibniz dbr:Greatest_common_divisor dbr:Modular_arithmetic dbr:NP-complete dbr:Naive_set_theory dbr:Very-large-scale_integration dbr:Logic_gates dbr:Logic_optimization dbr:Logical_conjunction dbr:Stanford_Encyclopedia_of_Philosophy dbr:Statistics dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Complemented_lattice dbr:Functional_completeness dbr:Propositional_logic dbr:Magnetic_storage dbr:Mathematical_structure dbr:Punched_tape dbr:Theoretical_computer_science dbr:Automorphism dbr:Axiomatization dbr:Time_complexity dbr:Truth_value dbr:Truth_values dbr:William_Stanley_Jevons dbr:Distributive_lattice dbr:Fuzzy_logic dbr:List_of_Boolean_algebra_topics dbr:Logic_synthesis dbr:Minimal_axioms_for_Boolean_algebra dbr:Three-valued_logic dbr:Algebra dbr:Algebraic_logic dbr:Ernst_Schröder_(mathematician) dbr:Exclusive_OR dbr:Field_(mathematics) dbr:Field_of_sets dbr:Formal_verification dbr:Partially_ordered_set dbr:Partition_of_a_set dbr:Digital_electronics dbr:Digital_signal dbr:False_premise dbr:Isomorphism dbr:Entailment dbr:Logical_connective dbr:Machine_code dbr:Logical_disjunction dbr:Logical_equivalence dbr:Logic_gate dbr:Walter_Gottschalk dbr:Quantifier_(logic) dbr:Raster_graphics dbr:Relation_algebra dbr:Relevance_logic dbr:Ring_(mathematics) dbc:Boolean_algebra dbr:Group_(mathematics) dbr:Group_action_(mathematics) dbr:Heyting_algebra dbr:Hilbert_system dbr:Intersection_(set_theory) dbr:Isomorphic dbr:Tautology_(logic) dbr:Assembly_language dbr:A_Symbolic_Analysis_of_Relay_and_Switching_Circuits dbr:Abstract_algebra dbc:Algebraic_logic dbr:Charles_Sanders_Peirce dbr:Józef_Maria_Bocheński dbr:Least_common_multiple dbr:Binary_decision_diagram dbr:Binary_number dbr:Bit dbr:Bit_blit dbr:Henry_M._Sheffer dbr:Axiom_of_choice dbr:Boolean_algebra_(structure) dbr:Boolean_algebras_canonically_defined dbr:Boolean_circuit dbr:Boolean_function dbr:Boolean_prime_ideal_theorem dbr:Boolean_satisfiability_problem dbr:Booleo dbc:1847_introductions dbr:Pixels dbr:Square-free_integer dbr:Circuit_complexity dbr:Circuit_diagram dbr:Group_theory dbr:Idempotence dbr:Identity_(mathematics) dbr:Indefinite_article dbr:Indexed_family dbr:Indicator_function dbr:Integer dbr:Axioms dbr:Carry_(arithmetic) dbr:Real_number dbr:Sequence dbr:Set_theory dbr:Klein_four-group dbr:Sequent_calculus dbr:Unit_interval dbr:Mask_(computing) dbr:Model_of_computation dbr:Multi-valued_logic dbr:Sequent dbr:Union_(set_theory) dbr:Variable_(mathematics) dbr:Venn_diagram dbr:Logic_design dbr:Digital_logic dbr:Programming_language dbr:Solid_modeling dbr:Propositional_variable dbr:Two-element_Boolean_algebra dbr:Probabilistic_logic dbr:Video_cards dbr:Vector_logic dbr:Voxel dbr:Subset dbr:The_Laws_of_Thought dbr:Uncountable dbr:Boolean-valued_semantics dbr:Boolean_polynomial dbr:Two-valued_logic dbr:Word_(data_type) dbr:Truth_tables dbr:Springer-Verlag dbr:Logical_system dbr:First_order_logic dbr:Switching_circuit dbr:Courier_Dover_Publications dbr:Algebra_of_concepts dbr:Material_biconditional dbr:Cofinite dbr:Computer_aided_design dbr:M._H._Stone dbr:Binary_operator dbr:Bit_vector dbr:Logical_operation dbr:Truth_assignment dbr:Unary_operator dbr:File:DeMorganGates.GIF dbr:File:LogicGates.GIF dbr:File:Vennandornot.svg |
| dbp:cs1Dates | y (en) |
| dbp:date | October 2022 (en) |
| dbp:group | "NB" (en) |
| dbp:wikiPageUsesTemplate | dbt:Anchor dbt:Authority_control dbt:Char dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Col-begin dbt:Col-break dbt:Col-end dbt:Div_col dbt:Div_col_end dbt:Further dbt:Main dbt:More_citations_needed dbt:Other_uses dbt:Portal dbt:Reflist dbt:Rp dbt:Section_link dbt:Short_description dbt:Use_dmy_dates dbt:Use_list-defined_references dbt:Who dbt:Wikibooks dbt:Computer_science dbt:Areas_of_mathematics dbt:Mathematical_logic dbt:Digital_systems |
| dct:subject | dbc:Articles_with_example_code dbc:Boolean_algebra dbc:Algebraic_logic dbc:1847_introductions |
| gold:hypernym | dbr:Branch |
| rdf:type | owl:Thing yago:Artifact100021939 yago:Object100002684 yago:PhysicalEntity100001930 yago:YagoGeoEntity yago:YagoPermanentlyLocatedEntity dbo:Organisation yago:Structure104341686 yago:Whole100003553 yago:WikicatAlgebraicStructures |
| rdfs:comment | L'àlgebra de Boole també anomenada àlgebra booleana, en matemàtica, electrònica digital i informàtica és una estructura algebraica que esquematitza les operacions lògiques. És una branca de les matemàtiques amb propietats i regles similars, tot i que diferents, a les de l'àlgebra ordinària. (ca) Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací. Je nazvána podle britského matematika George Boolea. Mimo oblast algebry se pojem Booleova algebra zužuje na dvouprvkovou Booleovu algebru a používá se pro reprezentaci pravdivostních hodnot a logických funkcí. Klíčový význam mají Booleovy algebry také pro metodu forsingu. (cs) En abstrakta algebro, Bulea algebro estas algebra strukturo (kolekto de eroj kaj operacioj sur ilin obeanta difinitajn aksiomojn) kiuj enkaptas esencajn propraĵojn de ambaŭ aroperacioj, logikaj operacioj. Ĝi aparte rilatas al la aroperacioj, komunaĵo, kunaĵo, komplemento; kaj la logikaj operacioj logika kajo, logika aŭo, logika neo, logika malinkluziva aŭo. Bulea algebro estas tiel nomata honore al la matematikisto George Boole, kiu unue aplikis ĝin. (eo) En matemática, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza las operaciones lógicas. (es) Booleren aljebra Elektronika Digital, Informatika, eta Matematika alorretan eragiketa logikoak adierazteko erabiltzen den egitura aljebraiko bat da. (eu) Is é ailgéabar Boole an cineál ailgéabair a úsáidtear le réasúnaíochta loighciúla a chur i bhfoirm mhatamaiticiúil, ainmnithe as George Boole. Sa 19ú céad, shaothraigh Boole an loighic shiombalach dhénártha ar tháinig ailgéabar Boole as, agus an mhodheolaíocht lasctha dhénártha a bhfuil ríomhairí digiteacha bunaithe uirthi. (ga) L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0. (it) 불 논리(Boolean logic)는 논리적 산법의 완전한 체계이다. 불 논리라는 이름은 19세기 중순에 논리의 를 처음으로 정의한 조지 불에서 따온 것이다. 불 논리는 전자 공학, 컴퓨터 하드웨어 및 소프트웨어 등으로 넓게 응용되고 있다. 1938년 클로드 섀넌(Shannon, Claude)는 불 논리를 릴레이에 의한 전기 회로 장착 방법을 나타냈다. 이 사실은 머지 않아 전자식 컴퓨터를 만드는 데에 없어서는 안 될 존재임이 밝혀졌다. 여기서는 집합 대수를 이용하고, 집합, 불 연산, 진리값 표 등의 기본 해설과 불 논리의 응용에 대해 풀이한다. 불 대수 글에는 불 논리의 공리를 만족하는 대수 구조의 형태를 설명하고 있다. 이진수에서는 컴퓨터에서 쓰이는 이진수를 풀이하고 있다. (ko) Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações", são assim denominadas em homenagem ao matemático George Boole. (pt) 在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代數中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它們的），而逻辑代数的主要运算有合取与，记为∧；析取或 ，记为∨；否定非 ，记为¬ 。因此，它是以普通代数描述数字关系相同的方式来描述逻辑关系的形式主义。 逻辑代数是乔治·布尔（George Boole）在他的第一本书《逻辑的数学分析》（1847年）中引入的，并在他的《思想规律的研究》（1854年）中更充分的提出了逻辑代数。根据Huntington“布尔代数”这个术语，最初是由Sheffer于1913年提出。 逻辑代数一直是数字电路设计的基础，并且所有现代编程语言提供支持。它也用在集合论和统计学中。 (zh) جبر بُول (بالإنجليزية: Boolean Algebra) هو أحد مواضيع الرياضيات والرياضيات المنطقيّة والرياضيات المُتقطّعة، ويُعتَبر فرعاً من فروع الجبر حيثُ يعمل بمُتغيّرين اثنين هما الصح أو الخطأ ويُرمز لهما بالعددين 1 و 0 بعكس الجبر الإبتدائي الذي قد يكون المُتغيّر فيه أي عددٍ كان. وفي حين أن العمليّات الرئيسيّة في الجبر هي الجمع والضرب، تكون العمليّات في الجبر البولي هي العطف أو الوصل (بالإنجليزية: Conjunction) وتُقرأ على أنّها واو العطف (وَ and) ويُرمز لها بالرمز ∧؛ والعمليّة الثانية هي الفصل (بالإنجليزية: Disjunction) وتُقرأ على أنّها حرف التخيير (أو or) ويُرمز لها بالرمز ∨؛ وثالث العمليّات الرئيسيّة هي النفي (بالإنجليزية: Negation) (ليس not) ويُرمز لها بالرمز ¬. وبهذا، تكون العلاقات في الجبر البولي مُشابِهة للعلاقات العددية المستخدمة في الجبر المعتاد. (ar) In der Mathematik ist eine boolesche Algebra (oder ein boolescher Verband) eine spezielle algebraische Struktur, die die Eigenschaften der logischen Operatoren UND, ODER, NICHT sowie die Eigenschaften der mengentheoretischen Verknüpfungen Durchschnitt, Vereinigung, Komplement verallgemeinert. Gleichwertig zu booleschen Algebren sind boolesche Ringe, die von UND und ENTWEDER-ODER (exklusiv-ODER) beziehungsweise Durchschnitt und symmetrischer Differenz ausgehen. (de) Στα Μαθηματικά και την Μαθηματική λογική, Άλγεβρα Μπουλ είναι η υποπεριοχή της άλγεβρας όπου οι τιμές των μεταβλητών είναι οι τιμές αληθείας αληθές και ψευδές, που συνήθως αναπαρίστανται με 1 και 0 αντίστοιχα. Σε αντίθεση με την στοιχειώδη άλγεβρα όπου οι τιμές των μεταβλητών είναι αριθμοί και οι κύριες πράξεις είναι η πρόσθεση και ο πολλαπλασιασμός, στην άλγεβρα Μπουλ υπάρχουν τρεις κύριες πράξεις: η σύζευξη και (συμβ. ∧), η διάζευξη ή (συμβ. ∨) και η άρνηση όχι (σύμβ. ¬). (el) In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values true and false, usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (and) denoted as ∧, disjunction (or) denoted as ∨, and the negation (not) denoted as ¬. Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction and division. So Boolean algebra is a formal way of describing logical operations, in the same way that elementary algebra describes numerical operations. (en) L'algèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions. Elle fut lancée en 1854 par le mathématicien britannique George Boole. Aujourd'hui, l'algèbre de Boole trouve de nombreuses applications en informatique et dans la conception des circuits électroniques. (fr) Dalam matematika dan logika matematika, Aljabar Boolean adalah struktur aljabar yang "mencakup intisari" operasi logika AND, OR, NOR, dan NAND dan juga teori himpunan untuk operasi union, dan komplemen. Penamaan Aljabar Boolean sendiri berasal dari nama seorang matematikawan asal Inggris, bernama George Boole. Dialah yang pertama kali mendefinisikan istilah itu sebagai bagian dari sistem logika pada pertengahan abad ke-19. Boolean adalah suatu tipe data yang hanya mempunyai dua nilai. Yaitu true atau false (benar atau salah). (in) Algebra Boole’a – pewien typ struktury algebraicznej, rodzaj algebry ogólnej stosowany w matematyce, informatyce teoretycznej oraz elektronice cyfrowej. Jej nazwa pochodzi od nazwiska matematyka, filozofa i logika George’a Boole’a. Teoria algebr Boole’a jest działem matematyki na pograniczu teorii częściowego porządku, algebry, logiki matematycznej i topologii. (pl) In de wiskunde, met name de abstracte algebra, en in de informatica is een booleaanse algebra of boolealgebra een algebraïsche structuur met de logische operatoren AND (en), OR (of) en NOT (niet). Deze operatoren zijn direct gerelateerd aan de begrippen doorsnede, vereniging en complement uit de verzamelingenleer. Zo is het logische "uitgesloten derde", dat stelt dat een uitspraak waar is of onwaar, equivalent met de regel dat de vereniging van een verzameling en z'n complement alle in het geding zijnde elementen bevat. . . (nl) Boolesk algebra är ursprungligen en överföring av satslogiken till kalkyl, som introducerades av George Boole år 1854. Den är även ekvivalent med mängdalgebran, med operatorerna union, snitt och komplement. Formellt kan en boolesk algebra definieras som ett distributivt lattice, vars alla element har ett komplement. Ytterligare ett exempel på en boolesk algebra är ringen , där de binära operationerna , och definieras enligt En boolesk algebra kan uppfattas som en boolesk ring. De är således ekvivalenta begrepp. En boolesk algebra kan omformas till en boolesk ring genom definitionerna . (sv) Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики. (ru) Алгебра логіки (Булева алгебра, Булева логіка, двійкова логіка, двійкова алгебра, англ. Boolean algebra) — розділ математичної логіки, що вивчає систему логічних операцій над висловлюваннями. В алгебрі логіки значенням змінних є значення істинності істина або хибність, які як правило визначаються як 1 і 0 відповідно. На відміну від елементарної алгебри, в якій значеннями змінних є числа, а основними операціями є додавання і множення, основними операціями Булевої алгебри є кон'юнкція операція І (англ. AND) позначається як ∧, диз'юнкція АБО (англ. OR) позначається як ∨, і заперечення НІ (англ. NOT) позначається як ¬. Таким чином формалізм для описання логічних відношень є аналогічним тому, як описуються числові відношення у елементарній алгебрі. (uk) |
| rdfs:label | Boolean algebra (en) جبر بول (ar) Àlgebra de Boole (ca) Booleova algebra (cs) Boolesche Algebra (de) Άλγεβρα Μπουλ (el) Bulea algebro (eo) Álgebra de Boole (es) Booleren aljebra (eu) Ailgéabar Boole (ga) Aljabar Boolean (in) Algèbre de Boole (logique) (fr) Algebra di Boole (it) 불 논리 (ko) Booleaanse algebra (nl) Algebra Boole’a (pl) Álgebra booliana (pt) Алгебра логики (ru) Boolesk algebra (sv) Алгебра логіки (uk) 逻辑代数 (zh) |
| owl:sameAs | freebase:Boolean algebra dbpedia-it:Boolean algebra yago-res:Boolean algebra http://d-nb.info/gnd/4146280-4 wikidata:Boolean algebra dbpedia-af:Boolean algebra dbpedia-ar:Boolean algebra http://ast.dbpedia.org/resource/Álxebra_de_Boole dbpedia-az:Boolean algebra http://azb.dbpedia.org/resource/بول_جبری http://ba.dbpedia.org/resource/Логика_алгебраһы dbpedia-bg:Boolean algebra http://bn.dbpedia.org/resource/বুলিয়ান_বীজগণিত http://bs.dbpedia.org/resource/Booleova_algebra dbpedia-ca:Boolean algebra dbpedia-cs:Boolean algebra http://cv.dbpedia.org/resource/Каланăлăхсен_алгебри dbpedia-da:Boolean algebra dbpedia-de:Boolean algebra dbpedia-el:Boolean algebra dbpedia-eo:Boolean algebra dbpedia-es:Boolean algebra dbpedia-et:Boolean algebra dbpedia-eu:Boolean algebra dbpedia-fa:Boolean algebra dbpedia-fi:Boolean algebra dbpedia-fr:Boolean algebra dbpedia-ga:Boolean algebra dbpedia-gl:Boolean algebra dbpedia-he:Boolean algebra http://hi.dbpedia.org/resource/बूलीय_बीजगणित_(तर्कशास्त्र) dbpedia-hr:Boolean algebra dbpedia-hu:Boolean algebra http://hy.dbpedia.org/resource/Բուլյան_հանրահաշիվ dbpedia-id:Boolean algebra dbpedia-io:Boolean algebra http://kn.dbpedia.org/resource/ಗಣನಶಾಸ್ತ್ರ dbpedia-ko:Boolean algebra dbpedia-ku:Boolean algebra http://ky.dbpedia.org/resource/Айтылыштар_алгебрасы dbpedia-la:Boolean algebra http://lt.dbpedia.org/resource/Būlio_algebra http://lv.dbpedia.org/resource/Būla_algebra dbpedia-mk:Boolean algebra http://my.dbpedia.org/resource/ဘူလီယန်အက္ခရာသင်္ချာ dbpedia-nl:Boolean algebra dbpedia-nn:Boolean algebra dbpedia-no:Boolean algebra dbpedia-pl:Boolean algebra dbpedia-pms:Boolean algebra dbpedia-pt:Boolean algebra dbpedia-ru:Boolean algebra dbpedia-sh:Boolean algebra dbpedia-simple:Boolean algebra dbpedia-sk:Boolean algebra dbpedia-sl:Boolean algebra dbpedia-sr:Boolean algebra dbpedia-sv:Boolean algebra http://ta.dbpedia.org/resource/பூலிய_இயற்கணிதம் http://tg.dbpedia.org/resource/Алгебраи_мантиқ dbpedia-th:Boolean algebra http://tl.dbpedia.org/resource/Alhebrang_Boolean dbpedia-tr:Boolean algebra dbpedia-uk:Boolean algebra dbpedia-vi:Boolean algebra dbpedia-zh:Boolean algebra https://global.dbpedia.org/id/gtuy |
| prov:wasDerivedFrom | wikipedia-en:Boolean_algebra?oldid=1122611618&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Vennandornot.svg wiki-commons:Special:FilePath/DeMorganGates.gif wiki-commons:Special:FilePath/LogicGates.gif |
| foaf:isPrimaryTopicOf | wikipedia-en:Boolean_algebra |
| is dbo:knownFor of | dbr:Claude_Shannon dbr:Alfred_Foster_(mathematician) |
| is dbo:mainInterest of | dbr:George_Paxton_Young |
| is dbo:notableIdea of | dbr:Gottfried_Wilhelm_Leibniz dbr:George_Boole__George_Boole__1 |
| is dbo:wikiPageDisambiguates of | dbr:Boolean dbr:Algebra_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Boolean_Algebra dbr:Boolean_Logic dbr:Boolean_algebra_(logic) dbr:Boolean_operation_(Boolean_algebra) dbr:Boolean_operator_(Boolean_algebra) dbr:Boolean_searching dbr:Applications_of_boolean_algebra dbr:Duality_principle_(Boolean_algebra) dbr:History_of_Boolean_algebra dbr:BooleanAlgebra dbr:Boolian_Algebra dbr:Boolian_algebra dbr:Contact_algebra dbr:Logical_algebra dbr:Introduction_to_Boolean_algebra dbr:Introduction_to_boolean_algebra dbr:Elementary_Boolean_algebra dbr:Boolean_Connectors dbr:Boolean_algebra_(basic_concepts) dbr:Boolean_algebra_(introduction) dbr:Boolean_attribute dbr:Boolean_equation dbr:Boolean_identities dbr:Boolean_identity dbr:Boolean_logic_(computer_science) dbr:Boolean_logic_in_computer_science dbr:Boolean_problem dbr:Boolean_terms dbr:Boolean_value dbr:Duality_principle_(boolean_algebra) dbr:Boolean_logic dbr:And_List dbr:And_list dbr:Or_List dbr:Or_list dbr:Switching_algebra dbr:AND_list dbr:Laws_of_classical_logic dbr:OR_list dbr:Complement_(Boolean_algebra) dbr:Complement_(boolean_algebra) dbr:Complete_Boolean_algebra_(computer_science) dbr:Logic_function dbr:Logic_operation |
| is dbo:wikiPageWikiLink of | dbr:Calculator dbr:Behavioral_pattern dbr:Principia_Mathematica dbr:Product_order dbr:Qualitative_comparative_analysis dbr:Quantum_logic_gate dbr:Science.gov dbr:Electronic_design_automation dbr:Electronic_engineering dbr:Entrez dbr:List_of_agnostics dbr:List_of_algebras dbr:List_of_eponyms_(A–K) dbr:Negation_normal_form dbr:Monus dbr:Posetal_category dbr:Principle_of_bivalence dbr:Relay_logic dbr:1937_in_science dbr:Bella_Subbotovskaya dbr:Bill_of_materials dbr:Boolean_Algebra dbr:Boolean_Logic dbr:Boolean_algebra_(logic) dbr:Boolean_data_type dbr:Boolean_differential_calculus dbr:Boolean_flag dbr:Boolean_operation_(Boolean_algebra) dbr:Boolean_operator_(Boolean_algebra) dbr:Boolean_searching dbr:Algebraic_normal_form dbr:Algebraic_specification dbr:History_of_computing_hardware dbr:Josiah_Royce dbr:René_Thomas_(biologist) dbr:Riesz_space dbr:Robert_Ledley dbr:Currying dbr:Ultrafilter_(set_theory) dbr:Unisys_DMSII dbr:University_College_Cork dbr:Vannevar_Bush dbr:Vinculum_(symbol) dbr:De_Morgan's_laws dbr:Deductive_lambda_calculus dbr:Dynamic_logic_(modal_logic) dbr:Dynamic_substructuring dbr:Index_term dbr:Inductive_probability dbr:Integrated_circuit dbr:Intuitionistic_logic dbr:Inverter_(logic_gate) dbr:Johanna_Piesch dbr:Universal_algebra dbr:Lindenbaum's_lemma dbr:List_of_named_matrices dbr:List_of_rules_of_inference dbr:Random_algebra dbr:Timeline_of_computing_hardware_before_1950 dbr:Web_query dbr:Colossus_computer dbr:Combinational_logic dbr:Mathematical_logic dbr:Mathematics dbr:Maurice_Karnaugh dbr:Mention_(company) dbr:NAND_gate dbr:OR_gate dbr:Ockham_algebra dbr:Specification_pattern dbr:Sharp_EL-5120 dbr:Spectral_space dbr:Claude_Shannon dbr:Closure_operator dbr:Code:_The_Hidden_Language_of_Computer_Hardware_and_Software dbr:Elektronika_MK-52 dbr:George_Boole dbr:Gigablast dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_computer_science dbr:Glossary_of_engineering:_A–L dbr:Glossary_of_set_theory dbr:Gottfried_Wilhelm_Leibniz dbr:GraphBLAS dbr:Mxparser dbr:Conditional_operator dbr:Conjunctive_normal_form dbr:Contradiction dbr:Equational_logic dbr:Applications_of_boolean_algebra dbr:Lincoln_Mechanics'_Institute dbr:Logic_learning_machine dbr:Logic_optimization dbr:Louis_Couturat dbr:MIT_Computer_Science_and_Artificial_Intelligence_Laboratory dbr:Magnetic_Drum_Digital_Differential_Analyzer dbr:Complex_conjugate dbr:Computational_biology dbr:Computer-assisted_legal_research dbr:Computer_program dbr:Computing dbr:Feferman–Vaught_theorem dbr:Fréchet_inequalities dbr:Functional_completeness dbr:Idempotent_(ring_theory) dbr:Programmable_logic_controller dbr:Proper_forcing_axiom dbr:Spiff_(disambiguation) dbr:Strassen_algorithm dbr:MarkLogic_Server dbr:Material_nonimplication dbr:BASIC_interpreter dbr:Backus–Naur_form dbr:C_(programming_language) dbr:Timeline_of_scientific_discoveries dbr:Widget_Workshop dbr:Distributive_property dbr:Division_lattice dbr:Fuzzy_logic dbr:Galves–Löcherbach_model dbr:HP_33s dbr:Law_of_thought dbr:List_of_Boolean_algebra_topics dbr:List_of_British_innovations_and_discoveries dbr:Logic_level dbr:Logic_synthesis dbr:Logical_matrix dbr:Minimal_algebra dbr:Minimal_axioms_for_Boolean_algebra dbr:Adjacency_matrix dbr:Alfred_Foster_(mathematician) dbr:Algebra dbr:Algebraic_logic dbr:Air_University_Library_Index_to_Military_Periodicals dbr:Culture_of_the_United_Kingdom dbr:DE-9IM dbr:Dual_graph dbr:EUR-Lex dbr:Field_(mathematics) dbr:For_loop dbr:Brian_Rotman dbr:PETSCII dbr:Differential_privacy dbr:Diode_logic dbr:Educational_toy dbr:Floyd_Steele dbr:Foundations_of_mathematics dbr:Glossary_of_mechanical_engineering dbr:History_of_computer_science dbr:History_of_computing dbr:History_of_mathematics dbr:History_of_science_and_technology_in_Japan dbr:KUKA_Robot_Language dbr:Knights_and_Knaves dbr:Logical_connective dbr:List_of_Japanese_inventions_and_discoveries dbr:List_of_Linux_audio_software dbr:List_of_Martin_Gardner_Mathematical_Games_columns dbr:Duality_principle_(Boolean_algebra) dbr:Logic_gate dbr:Ultrafilter dbr:Radioteletype dbr:Relational_operator dbr:Relay dbr:Representation_(mathematics) dbr:Restricted_Boltzmann_machine dbr:19th_century_in_science dbr:Hahn–Banach_theorem dbr:Haim_Gaifman dbr:Herma_(Xenakis) dbr:History_of_Boolean_algebra dbr:Irish_people dbr:Ivan_Zhegalkin dbr:JOSS dbr:Tautology_(logic) dbr:BooleanAlgebra dbr:Boolean_algebra_(disambiguation) dbr:Boolian_Algebra dbr:Boolian_algebra dbr:Counting dbr:P._K._Srinivasan dbr:Aristotle dbr:Associative_property dbr:AND_gate dbr:APL_syntax_and_symbols dbr:AW*-algebra dbr:A_Mind_at_Play dbr:Absorbing_element dbr:Abstract_algebra dbr:Abstract_algebraic_logic dbr:Karnaugh_map dbr:Binary_data dbr:Binary_expression_tree dbr:Susan_Sontag dbr:Effect_algebra dbr:George_Paxton_Young dbr:Henry_M._Sheffer dbr:Ternary_operation dbr:Tolerance_relation dbr:XOR_gate dbr:Ray_marching dbr:Boolean dbr:Boolean-valued dbr:Boolean_algebras_canonically_defined dbr:Boolean_circuit dbr:Boolean_function dbr:Boolean_operations_on_polygons dbr:Bunched_logic dbr:Software_design_pattern dbr:Circuit_diagram dbr:Contact_algebra dbr:ISO_15924 dbr:Inkscape dbr:Algebra_(disambiguation) dbr:Metric_lattice dbr:Microprocessor dbr:Nathan_C._Gianneschi dbr:Nell_Tenhaaf dbr:New_Math dbr:Macy_conferences dbr:Maharam_algebra dbr:Multiplexer dbr:Sentence_(mathematical_logic) dbr:Victorian_era dbr:Logical_algebra dbr:Digital dbr:IBM_STAIRS dbr:Two-element_Boolean_algebra dbr:Evolving_digital_ecological_network dbr:Finitist_set_theory dbr:XNOR_gate dbr:Molecular_sensor dbr:Multi-threshold_CMOS dbr:Virtual_finite-state_machine dbr:Poretsky's_law_of_forms dbr:Superadditivity dbr:Semantic_folding dbr:Simple_theorems_in_the_algebra_of_sets dbr:Simplification_of_disjunctive_antecedents dbr:Vector_logic dbr:Thue–Morse_sequence dbr:Video_games_in_the_United_Kingdom dbr:Introduction_to_Boolean_algebra dbr:Introduction_to_boolean_algebra dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Zhegalkin_polynomial dbr:Outline_of_electronics dbr:Outline_of_logic dbr:PHP_syntax_and_semantics dbr:Zero-suppressed_decision_diagram dbr:Turing_degree dbr:Simple_programmable_logic_device dbr:UBJSON dbr:Elementary_Boolean_algebra dbr:Boolean_Connectors dbr:Boolean_algebra_(basic_concepts) dbr:Boolean_algebra_(introduction) dbr:Boolean_attribute dbr:Boolean_equation dbr:Boolean_identities dbr:Boolean_identity dbr:Boolean_logic_(computer_science) dbr:Boolean_logic_in_computer_science dbr:Boolean_problem dbr:Boolean_terms dbr:Boolean_value dbr:Duality_principle_(boolean_algebra) dbr:Boolean_logic dbr:And_List dbr:And_list dbr:Or_List dbr:Or_list dbr:Switching_algebra dbr:AND_list dbr:Laws_of_classical_logic dbr:OR_list dbr:Complement_(Boolean_algebra) dbr:Complement_(boolean_algebra) dbr:Complete_Boolean_algebra_(computer_science) dbr:Logic_function dbr:Logic_operation |
| is dbp:knownFor of | dbr:Alfred_Foster_(mathematician) |
| is dbp:mainInterests of | dbr:George_Paxton_Young |
| is dbp:notableIdeas of | dbr:George_Boole dbr:Gottfried_Wilhelm_Leibniz |
| is foaf:primaryTopic of | wikipedia-en:Boolean_algebra |
