Information modeling of the normal forms of logical functions in Maple system Aleksandr Olenev, Ksenia Kirichek, Aleksandr Shuvaev and Elena Petlina ITM Web Conf., 59 (2024) 02003 Published online: 25 January 2024 DOI: 10.1051/itmconf/20245902003