Представления логических функций

В базовом курсе содержались элементы математической логики-истинные и ложные высказывания и операции над ними. Теперь рассмотрим те же и другие понятия и соотношения, используя

- функциональный язык. Будем считать простые высказывания независимыми переменными, сопоставив истинным высказываниям значение 1, а ложным - значение 0. Тогда операции над

! высказываниями представляют собой функции этих переменных Введем

F необходимые понятия.

I Логические переменные - это переменные, принимающие

| значения из двухэлементного множества . Они называются также

k булевыми, или двоичными переменными.