0, 1

и принимающие значения в нем же безотносительно к формулам алгебры высказываний, т.е. сами по себе. Тогда функции, определяемые таблицами в определениях 1.1, 1.3, 1.5, 1.7, 1.9, а также функции, определяемые формулами алгебры высказываний, будут служить примерами таких  функций. Такие функции, заданные и принимающие значения в  двухэлементном множестве, появляющиеся в алгебре высказываний, носят название функций алгебры логики или булевых функций. Введя понятие булевой функции, мы окончательно  отрываемся от того содержательного смысла, который имели в виду в  алгебре высказываний: пропозициональные переменные служили там обозначениями для высказываний языка. Теперь же остались  только два символа 0 и 1 и понятие булевой функции. Чтобы еще более оттенить это обстоятельство, обозначим переменные,  пробегающие множество