Функции и формулы алгебры логики ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ