TY CONF TI SCHAEFFER AND PIERCE FUNCTIONS KW logical expression JO MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2025 AU Skvorcova, E.I. AU Klimentev, S.R. AU Fedorov, V.Y. PY 2025 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov