Information modeling of the normal forms of logical functions in Maple systemAleksandr Olenev, Ksenia Kirichek, Aleksandr Shuvaev and Elena PetlinaITM Web Conf., 59 (2024) 02003DOI: https://doi.org/10.1051/itmconf/20245902003