Examples of using Boolean algebra in English and their translations into Ukrainian
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
The meet and join operations in the Boolean algebra are identified with the∧ and∨ logical connectives, so that the value of a formula of the form A∧ B is the meet of the value of A and the value of B in the Boolean algebra.
Зустріч та приєднання до операцій в булевій алгебрі, ототожнюються з ∧ і ∨ логічними зв'язками, так, щоб значення формули виду A ∧ B було об'єднанням значення A і значення B в булевій алгебрі.asserts that Boolean algebra is unchanged when all dual pairs are interchanged. One change we did not need to make as part of this interchange was to complement.
за якою стверджують, що булева алгебра залишається незмінною, якщо взаємно замінити всі двоїсті пари.In Boolean algebra, a linear function is a function f for which there exist a_0,
В булевої алгебри, лінійна функція є одна з таких,Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic(1847),
Булеву алгебру запропонував Джордж Буль у своїй книзі Математичний аналіз логіки(1847), і більш детально уjust like EXCESS-3 code in boolean algebra.
подібно до коду EXCESS-3 в булевій алгебрі.In both ordinary and Boolean algebra, negation works by exchanging pairs of elements,
Як His algebra of logic that is called Boolean algebra or Boolean logic(an algebraic structure,
Його алгебра логіки, іменована булевой алгеброю або Boolean algebra as the calculus of two values is fundamental to digital logic, computer programming,
Алгебра логіки як числення двох логічних значень є основою для комп'ютерних схем,both kinds of algebra: The following laws hold in Boolean Algebra, but not in ordinary algebra: Taking x= 2 in
Наступні закони є дійсними в булевій алгебрі, але не дійсні в звичайній алгебрі:These generate a Boolean algebra with four atoms, namely:
Вони генерують Булеву алгебру з чотирма атомами, а саме: Джон високий,A law of Boolean algebra is an identity such as x∨(y∨z)=(x∨y)∨z between two Boolean terms, where a Boolean
Законом в булевій алгебрі може виступати тотожність між двома булевими виразами такого вигляду як x∨(y∨z)=(x∨y)∨z,Examples 6 and 7 are distributive lattices which are not Boolean algebras.
Приклади 6 та 7 дистрибутивних решіток, які не є булевими алгебрами.Furthermore Boolean algebras can then be defined as the models of these axioms as treated in the section thereon.
Крім того, булеві алгебри можна визначити як моделі із цих аксіом.one uses values from a Heyting algebra, of which Boolean algebras are a special case.
використовується значення з гейтінгової алгебри, в якій булева алгебра являє собою особливий випадок.by the American mathematician Marshall Stone in 1936 when he observed while writing up his celebrated Stone duality theorem that the supposedly loose analogy between Boolean algebras and rings could in fact be formulated as an exact equivalence holding for both finite
американським математиком Маршалом Стоуном у 1936 році, коли, дописуючи свою успішну теорему«Stone Duality», він помітив, що ймовірна втрата аналогії між булевою алгеброю та кільцями може, по суті, бути сформульована як точна рівносильність, яка є вірноюEvery law of Boolean algebra follows logically from these axioms.
Кожен закон булевою алгебри випливає логічним чином із цих аксіом.Each interpretation is responsible for different distributive laws in the Boolean algebra.
Кожна інтерпретація несе відповідальність за різні розподільні закони булевої алгебри.Any finite Heyting algebra which is not equivalent to a Boolean algebra defines(semantically) an intermediate logic.
Будь-яка кінцева алгебра Гейтінга, яка не є еквівалентною булевої алгебри, визначає(семантично) проміжні логіки.A large class of elementary logical puzzles can be solved using the laws of Boolean algebra and logic truth tables.
Великий клас простих логічних загадок може бути розв'язаним із використанням законів Булевої алгебри і таблиць істинності.the prepositional calculus and first-order logic on the base of Boolean algebra of cubic functions is proposed.
дозволяється в численні висловлювань та в численні предикатів першого порядку на основі булевої алгебри кубічних функцій.
