Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій
Проаналізовано можливості заміни логічних операцій над аргументами булевих функцій арифметичним додаванням індексів цих функцій. Прийнято, що індексами булевих функцій є десяткові числа, які відповідають значенням функцій, проінтерпретованим як двійкові числа. Обґрунтовано теореми щодо тотожності ло...
Saved in:
| Date: | 2005 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Центр математичного моделювання Інституту прикладних проблем механіки і математики ім. Я.С. Підстригача НАН України
2005
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/20971 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій / І. Дуцяк // Фіз.-мат. моделювання та інформ. технології. — 2005. — Вип. 2. — С. 126-132. — Бібліогр.: 3 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-20971 |
|---|---|
| record_format |
dspace |
| spelling |
Дуцяк, І. 2011-06-13T18:28:41Z 2011-06-13T18:28:41Z 2005 Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій / І. Дуцяк // Фіз.-мат. моделювання та інформ. технології. — 2005. — Вип. 2. — С. 126-132. — Бібліогр.: 3 назв. — укр. 1816-1545 https://nasplib.isofts.kiev.ua/handle/123456789/20971 510.633+164.04 Проаналізовано можливості заміни логічних операцій над аргументами булевих функцій арифметичним додаванням індексів цих функцій. Прийнято, що індексами булевих функцій є десяткові числа, які відповідають значенням функцій, проінтерпретованим як двійкові числа. Обґрунтовано теореми щодо тотожності логічних операцій та арифметичного додавання індексів функцій для кон’юнкції, диз’юнкції, строгої диз’юнкції, а також обернених функцій. Оскільки всі булеві функції можна виразити через антикон’юнкцію або антидиз’юнкцію, то використання доведених теорем уможливлює заміну логічних операцій будь-яких булевих функцій арифметичним додаванням їх індексів, що значно спрощує обчислення. Possibilities of replacement of logic operations above arguments of Boolean functions arithmetical addition of indexes of these functions are analyzed. It is accepted, that indexes of Boolean functions are decimal numbers which answer the values of functions interpreted as binary number. It is proved theorems concerning identity of logic operations and arithmetical addition of functions indexes for conjunction, disjunction, strict disjunction, and also for inverse functions. As all Boolean functions can be expressed through an anticonjunction or an antidisjunction use of the proved theorems does possible replacement of logic operations of any Boolean functions with arithmetical addition of their indexes, that considerably simplifies evaluations. Проанализирована возможность замены логических операций над аргументами булевых функций арифметическим сложением индексов этих функций. Принято, что индексами булевых функций являются десятичные числа, соответствующие значениям функций, проинтерпретированным как двоичные числа. Обосновано теоремы о тождестве логических операций и арифметического сложения индексов функций для конъюнкции, дизъюнкции и строгой дизъюнкции, а также для обратных функций. Поскольку все булевы функции можно выразить через антиконъюнкцию или антидизъюнкцию, то использование приведенных теорем делает возможной замену логических операций любых булевых функций арифметическим сложением их индексов, что значительно упрощает вычисления. uk Центр математичного моделювання Інституту прикладних проблем механіки і математики ім. Я.С. Підстригача НАН України Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій About Identity for Logical Operations and Arithmetical Addition of Boolean Functions Indexes О тождестве логических операций арифметическому сложению индексов булевых функций Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| spellingShingle |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій Дуцяк, І. |
| title_short |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| title_full |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| title_fullStr |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| title_full_unstemmed |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| title_sort |
про тотожність логічних операцій та арифметичного додавання індексів булевих функцій |
| author |
Дуцяк, І. |
| author_facet |
Дуцяк, І. |
| publishDate |
2005 |
| language |
Ukrainian |
| publisher |
Центр математичного моделювання Інституту прикладних проблем механіки і математики ім. Я.С. Підстригача НАН України |
| format |
Article |
| title_alt |
About Identity for Logical Operations and Arithmetical Addition of Boolean Functions Indexes О тождестве логических операций арифметическому сложению индексов булевых функций |
| description |
Проаналізовано можливості заміни логічних операцій над аргументами булевих функцій арифметичним додаванням індексів цих функцій. Прийнято, що індексами булевих функцій є десяткові числа, які відповідають значенням функцій, проінтерпретованим як двійкові числа. Обґрунтовано теореми щодо тотожності логічних операцій та арифметичного додавання індексів функцій для кон’юнкції, диз’юнкції, строгої диз’юнкції, а також обернених функцій. Оскільки всі булеві функції можна виразити через антикон’юнкцію або антидиз’юнкцію, то використання доведених теорем уможливлює заміну логічних операцій будь-яких булевих функцій арифметичним додаванням їх індексів, що значно спрощує обчислення.
Possibilities of replacement of logic operations above arguments of Boolean functions arithmetical addition of indexes of these functions are analyzed. It is accepted, that indexes of Boolean functions are decimal numbers which answer the values of functions interpreted as binary number. It is proved theorems concerning identity of logic operations and arithmetical addition of functions indexes for conjunction, disjunction, strict disjunction, and also for inverse functions. As all Boolean functions can be expressed through an anticonjunction or an antidisjunction use of the proved theorems does possible replacement of logic operations of any Boolean functions with arithmetical addition of their indexes, that considerably simplifies evaluations.
Проанализирована возможность замены логических операций над аргументами булевых функций арифметическим сложением индексов этих функций. Принято, что индексами булевых функций являются десятичные числа, соответствующие значениям функций, проинтерпретированным как двоичные числа. Обосновано теоремы о тождестве логических операций и арифметического сложения индексов функций для конъюнкции, дизъюнкции и строгой дизъюнкции, а также для обратных функций. Поскольку все булевы функции можно выразить через антиконъюнкцию или антидизъюнкцию, то использование приведенных теорем делает возможной замену логических операций любых булевых функций арифметическим сложением их индексов, что значительно упрощает вычисления.
|
| issn |
1816-1545 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/20971 |
| citation_txt |
Про тотожність логічних операцій та арифметичного додавання індексів булевих функцій / І. Дуцяк // Фіз.-мат. моделювання та інформ. технології. — 2005. — Вип. 2. — С. 126-132. — Бібліогр.: 3 назв. — укр. |
| work_keys_str_mv |
AT ducâkí prototožnístʹlogíčnihoperacíitaarifmetičnogododavannâíndeksívbulevihfunkcíi AT ducâkí aboutidentityforlogicaloperationsandarithmeticaladditionofbooleanfunctionsindexes AT ducâkí otoždestvelogičeskihoperaciiarifmetičeskomusloženiûindeksovbulevyhfunkcii |
| first_indexed |
2025-12-07T20:43:15Z |
| last_indexed |
2025-12-07T20:43:15Z |
| _version_ |
1850883645700571136 |