Еквацiональнi дослiдження нульарних алгебр, алгебр булевого кубу та кубу Жегалкiна
| Autor: | В. В. Нiколенко, I. А. Мич |
|---|---|
| Jazyk: | ukrajinština |
| Rok vydání: | 2021 |
| Předmět: |
сигнатурна решiтка
Pure mathematics Unary operation strong law of large numbers renewal process Binary number random processes indexed by sets Square (algebra) еквацiональна решiтка random signed measure Lattice (order) Completeness (order theory) ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION QA1-939 Canonical form булева алгебра uniform strong law of large numbers Element (category theory) Signature (topology) Mathematics |
| Zdroj: | Науковий вісник Ужгородського університету. Серія «Математика і інформатика»; Том 2 № 37 (2020); 142-149 Scientific Bulletin of Uzhhorod University. Series of Mathematics and Informatics; Vol. 2 No. 37 (2020); 142-149 Науковий вісник Ужгородського університету. Серія: Математика і інформатика, Vol 2, Iss 37, Pp 142-149 (2021) |
| ISSN: | 2616-7700 2708-9568 |
| DOI: | 10.24144/2616-7700.2020.2(37) |
| Popis: | In this paper, investigation of Boolean universal algebras, the signature of which includes zero, unary and part of binary Boolean operations is conducted. Equational and signature lattices of the class of trivial algebras are constructed. Lattice elements are represented as a square. The class of universal Boolean algebras consists of 8 algebras. The signature of these algebras contains operations of conjunction, disjunction, and negation. They form signature and equational cubes. Complete systems of identities have been found for trivial algebras and all algebras of a Boolean cube. The completeness of identity systems is proved by algorithms that allow to bring the formulas of the corresponding algebras to standard canonical forms. The Zhegalkin cube consists of 8 algebras, the signature of which includes element 1, arithmetic operation of addition mod 2 and arithmetic operation of multiplication. An equational lattice of this class have been constructed for the algebras of the Zhegalkin cube У данiй роботi проведенi дослiдження над булевими унiверсальними алгебрами, в сигнатуру яких входять нульарнi, унарнi та частина бiнарних булевих операцiй. Побудованi еквацiональнi та сигнатурнi решiтки класу тривiальних алгебр. Елементи решiток представляються у виглядi квадрата. Клас унiверсальних булевих алгебр складається з восьми алгебр, в сигнатуру яких входять операцiї кон’юнкцiї, диз’юнкцiї та заперечення. Вони утворюють сигнатурнi i еквацiональнi куби. Для тривiальних алгебр i всiх алгебр булевого кубу знайденi повнi системи тотожностей. Повнота систем тотожностей доводиться за допомогою алгоритмiв, якi дозволяють привести формули вiдповiдних алгебр до стандартних канонiчних виглядiв. Куб Жегалкiна складається з восьми алгебр, в сигнатуру яких входять операцiї одиниця, сума та множення за модулем два. Для алгебр кубу Жегалкiна побудована еквацiональна решiтка |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|