ДЕКОМПОЗИЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ - ПРОВЕРКА НА РАЗДЕЛИМОСТЬ ПО ЗАДАННОМУ РАЗБИЕНИЮ
Рассматривается задача последовательной двухблочной декомпозиции частичных булевых функций по нестрогому разбиению на множестве аргументов. Предлагаются метод и алгоритм проверки функции на разделимость по заданному разбиению. При решении этой задачи используется аппарат булевых и троичных векторов...
| Format: | Article |
|---|---|
| Language: | Russian |
| Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2018-11-01
|
| Series: | Informatika |
| Online Access: | https://inf.grid.by/jour/article/view/607 |