Представления логических функций - раздел Математика, ДИСМАТ. ВВЕДЕНИЕ. ПРЕДМЕТ ДИСКРЕТНОЙ МАТЕМАТИКИ В Базовом Курсе Содержались Элементы Математической Логики-Истинные И Ложные ...
В базовом курсе содержались элементы математической логики-истинные и ложные высказывания и операции над ними. Теперь рассмотрим те же и другие понятия и соотношения, используя
- функциональный язык. Будем считать простые высказывания независимыми переменными, сопоставив истинным высказываниям значение 1, а ложным - значение 0. Тогда операции над
! высказываниями представляют собой функции этих переменных Введем
F необходимые понятия.
I Логические переменные- это переменные, принимающие
| значения из двухэлементного множества. Они называются также
На сайте allrefs.net читайте: "ДИСМАТ. ВВЕДЕНИЕ. ПРЕДМЕТ ДИСКРЕТНОЙ МАТЕМАТИКИ"
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Представления логических функций
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Порождающей процедуры
Простейший пример - задание последовательности элементов множества формулой, содержащей параметр:
Задавая раз
Суперпозиция функций
Соответствием G между множествами А и В называется подмножество. Если
Бинарные отношения
Начнем с примеров. Натуральные числа могут быть полными
квадратами, как 4, 81, 144, или не быть ими, как 5, 30, 48. Это свойство,
или признак числа можно трактовать как принадлежн
Отношения порядка
Важный тип бинарных отношений - отношения порядка. Отношение строгого порядка -бинарное отношение, являющееся антирефлексивным, антисимметричным и транзитивным:
обозначени
Свойства бинарных операций
Ассоциативной бинарной операциейназывается операция, если она обладает свойством . Ассоциативность
' п
Алгебры
Алгебра - не только математическая дисциплина. Тот же термин обозначает вполне определенную структуру. Алгебройназывается
множество М вместе с заданной на нем систе
Логические формулы. Булева алгебра
"Задание функций непосредственно таблицей удобно лишь при небольшом числе переменных. Другим средством представления функций является суперпозиция, символическим (аналитическим) выражением кот
Дизъюнктивные нормальные формы
I Важным примером эквивалентности является разложение булевой функции по переменной- представление функции
Замкнутые классы булевых функций
Выше показано, что любая функция может быть выражена в виде ДНФ, те. формулой, использующей функциональные знаки &,v,-> и
символы переменных Еще один интересный пример дает система
I §2. Предполные классы
Здесь мы рассмотрим 5 замкнутых классов, играющих особую роль в вопросе о функциональной полноте Они называются предполными. причина будет выявлена ниже.
1) Класс
Новости и инфо для студентов