Для цитирования:

Косолапов Ю.В. Об упрощении выражений со смешанной битовой и целочисленной арифметикой. Моделирование и анализ информационных систем. 2023;30(2):140-159. https://doi.org/10.18255/1818-1015-2023-2-140-159. EDN: KBZXLJ

For citation:

Kosolapov Yu.V. On Simplifying Expressions with Mixed Boolean-Arithmetic. Modeling and Analysis of Information Systems. 2023;30(2):140-159. (In Russ.) https://doi.org/10.18255/1818-1015-2023-2-140-159. EDN: KBZXLJ