@article{Шастин2025канонические, author={Шастин, М.В. and Бордюжа, О.Л. and Грошева, Е.В.}, title={КАНОНИЧЕСКИЕ ФОРМЫ ЛОГИЧЕСКИХ ФУНКЦИЙ: ОСНОВЫ И ПРИМЕНЕНИЕ}, conference={МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2025}, publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова}, year={2025}, pages={161-167}, }