Что такое findslide.org?

FindSlide.org - это сайт презентаций, докладов, шаблонов в формате PowerPoint.


Для правообладателей

Обратная связь

Email: Нажмите что бы посмотреть 

Яндекс.Метрика

Презентация на тему по предмету Элементы математической логики Функции математической логики

Содержание

Функция F(x1, x2, …, xn) множества логических переменных x1, x2, …, xn , принимающая значения только «истина» или «ложь», называется логической функцией.Логические переменные и функции называются вторичными высказываниями, или молекулами.
Функции математической логики Функция F(x1, x2, …, xn) множества логических переменных x1, x2, …, xn Логические переменныеПеременные Х1 = а>0 и Х2 = а Задание функции таблицейДля n логических переменных всего 2n комбинаций, а общее число Наборы, при которых F = 1, называются единичными наборами функции и наборы Унарная функция (операция)F0  F3 не зависят от значения х, т. е. Бинарная функция (операция) КонъюнкцияФункция F1называется конъюнкцией (операцией «И» ) х1 и х2 и обозначается x1&x2 Функция F7 называется дизъюнкцией (операцией «ИЛИ» ) х1 и х2 и обозначается Разделительная дизъюнкцияФункция F6 называется разделительной дизъюнкцией х1 и х2 исключающим «ИЛИ» и ЭквивалентностьФункция F9 называется эквивалентностью или равнозначностью и обозначается  х1 ~ х2 Стрелка Пирса Функция F8 называется стрелкой Пирса и обозначается х1 ↓ х2 ИмпликацияФункция F13 называется импликацией и обозначается х1 ==> х2 Функция имеет значение Штрих Шеффера Функция F14 называется штрих Шеффера и обозначается х1 І х2 Мажоритарная функцияФункция принимает значение «Истина» если два или три ее аргумента истинны Преобразование логических формулНа базе элементарных операций можно строить формулы и вычислять их.
Слайды презентации

Слайд 2 Функция F(x1, x2, …, xn) множества логических переменных

Функция F(x1, x2, …, xn) множества логических переменных x1, x2, …,

x1, x2, …, xn , принимающая значения только «истина»

или «ложь», называется логической функцией.
Логические переменные и функции называются вторичными высказываниями, или молекулами.

Слайд 3 Логические переменные
Переменные Х1 = а>0 и Х2 =

Логические переменныеПеременные Х1 = а>0 и Х2 = а

а

ложь, Х2 – истинно
При а=1 Х1 - истинно, Х2 – истинно
При а=5 Х1 -истинно, Х2 –ложь
F(Х1,X2) истинна если 0

Слайд 4 Задание функции таблицей
Для n логических переменных всего 2n

Задание функции таблицейДля n логических переменных всего 2n комбинаций, а общее

комбинаций, а общее число значений логической функции F равно

22n

Слайд 5 Наборы, при которых F = 1, называются единичными

Наборы, при которых F = 1, называются единичными наборами функции и

наборами функции и наборы при которых F=0, называются нулевыми

наборами.
Переменная xi называется несущественной или фиктивной, если значение функции при любом наборе других переменных не зависит от значения xi
Такую переменную можно исключить.

Слайд 6 Унарная функция (операция)
F0 F3 не зависят от

Унарная функция (операция)F0 F3 не зависят от значения х, т. е.

значения х, т. е. х фиктивная переменная для них

.
F1(x)=x

F2(x) = отрицание х или функция «НЕ»


Слайд 7 Бинарная функция (операция)

Бинарная функция (операция)

Слайд 8 Конъюнкция
Функция F1называется конъюнкцией (операцией «И» ) х1 и

КонъюнкцияФункция F1называется конъюнкцией (операцией «И» ) х1 и х2 и обозначается

х2 и обозначается x1&x2 или x1^x2.
Функция имеет значение

«Истина», если х1 и х2 истинны, т.е. х1=1 и х2=1.



Слайд 9 Функция F7 называется дизъюнкцией (операцией «ИЛИ» ) х1

Функция F7 называется дизъюнкцией (операцией «ИЛИ» ) х1 и х2 и

и х2 и обозначается
Функция имеет значение «Истина», если

хотя бы одна из переменных х1, х2 истинно.

Дизъюнкция


Слайд 10 Разделительная дизъюнкция
Функция F6 называется разделительной дизъюнкцией х1 и

Разделительная дизъюнкцияФункция F6 называется разделительной дизъюнкцией х1 и х2 исключающим «ИЛИ»

х2 исключающим «ИЛИ» и обозначается + .
Функция имеет значение

«Истина», если один операнд х1 или х2 истинна, но не оба вместе.


Слайд 11 Эквивалентность
Функция F9 называется эквивалентностью или равнозначностью и обозначается

ЭквивалентностьФункция F9 называется эквивалентностью или равнозначностью и обозначается х1 ~ х2

х1 ~ х2 или х1 х2
Функция

имеет значение «Истина», когда оба ее аргумента истинны либо ложны.


Слайд 12 Стрелка Пирса
Функция F8 называется стрелкой Пирса и

Стрелка Пирса Функция F8 называется стрелкой Пирса и обозначается х1 ↓

обозначается х1 ↓ х2
Функция имеет значение «Истина», если

ее переменные х1, х2 ложны.
Эта функция инверсна (противоположна) функции F7


Слайд 13 Импликация
Функция F13 называется импликацией и обозначается х1 ==>

ИмпликацияФункция F13 называется импликацией и обозначается х1 ==> х2 Функция имеет

х2
Функция имеет значение «ложь», если из «истины» следует

«ложь».
По отношению к доказательству эта функция соответствует фразе «если А…, то В…»

Слайд 14 Штрих Шеффера
Функция F14 называется штрих Шеффера и

Штрих Шеффера Функция F14 называется штрих Шеффера и обозначается х1 І

обозначается х1 І х2 инверсна функции F1.
Ее истинное значение

утверждает, что «кто-то лжет».
Функция имеет значение «ложь», если оба операнда истинны.
Остальные функции названий не имеют, и выражаются через рассмотренные выше.


Слайд 15 Мажоритарная функция
Функция принимает значение «Истина» если два или

Мажоритарная функцияФункция принимает значение «Истина» если два или три ее аргумента истинны

три ее аргумента истинны


  • Имя файла: prezentatsiya-po-predmetu-elementy-matematicheskoy-logiki-funktsii-matematicheskoy-logiki.pptx
  • Количество просмотров: 138
  • Количество скачиваний: 0