Логические формулы и функции. Базовые функции мат логика. элементы теории множеств и алгебры логики. логической функции соответствует формула алгебры высказываний. приведенная формула алгебры высказываний.