В базовом курсе содержались элементы математической логики-истинные и ложные высказывания и операции над ними. Теперь рассмотрим те же и другие понятия и соотношения, используя
- функциональный язык. Будем считать простые высказывания независимыми переменными, сопоставив истинным высказываниям значение 1, а ложным - значение 0. Тогда операции над
! высказываниями представляют собой функции этих переменных Введем
F необходимые понятия.
I Логические переменные- это переменные, принимающие
| значения из двухэлементного множества. Они называются также
k булевыми,или двоичнымипеременными.