Проаналізовано можливості заміни логічних операцій над аргументами булевих функцій арифметичним додаванням індексів цих функцій. Прийнято, що індексами булевих функцій є десяткові числа, які відповідають значенням функцій, проінтерпретованим як двійкові числа. Обгрунтовано теореми щодо тотожності логічних операцій та арифметичного додавання індексів функцій для кон'юнкції, диз'юнкції, строгої диз'юнкції, а також обернених функцій. Оскільки всі булеві функції можна виразити через антикон'юнкцію або антидиз'юнкцію, то використання доведених теорем уможливлює заміну логічних операцій будь-яких булевих функцій арифметичним додаванням їх індексів, що значно спрощує обчислення.

  Повний текст PDF - 270.682 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"