Шабанов-Кушнаренко, Ю. П.2020-02-052020-02-051979Шабанов-Кушнаренко Ю. П. Математическое описание конечных логических объектов / Ю. П. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1979. – Вып. 23. – С. 3–9.http://openarchive.nure.ua/handle/document/10694Средствами алгебры конечных предикатов описываются некоторые теоретико-множественные понятия, отношения и операции, определенные на конечных множествах. С помощью этого же аппарата представляются функции К-значной логики: дизъюнкция, конъюнкция, характеристические функции. Полученное описание используется для формального решения ряда логических задач. Материал статьи поясняется примерами.ruалгебра предикатовдизъюнкцияконъюнкцияArticle