Презентация на тему: Аксиомы и законы алгебры логики

Аксиомы и законы алгебры логики
Основные законы алгебры логики
Аксиомы и законы алгебры логики
Аксиомы и законы алгебры логики
Законы универсального множества
Законы двойной инверсии
Аксиомы и законы алгебры логики
1/7
Средняя оценка: 4.7/5 (всего оценок: 18)
Код скопирован в буфер обмена
Скачать (119 Кб)
1

Первый слайд презентации

Аксиомы и законы алгебры логики

Изображение слайда
2

Слайд 2: Основные законы алгебры логики

В алгебре логики введена следующая система аксиом, которая определяет свойства и отношения основных операций: a+b=b+a a(b+c)=ab+ac a+bc=(a+b)(a+c) a+  a=1 a+  a=b+  b a  a= b  b

Изображение слайда
3

Слайд 3

На основе этих аксиом выводятся все теоремы, которые выражают основные законы алгебры логики. Законы нулевого множества 0*а=0 0+а=а 0* abc…z=0

Изображение слайда
4

Слайд 4

т.е. конъюнкция любого числа переменных обращается в ноль, если какая-нибудь одна переменная имеет значение 0, независимо от значений других переменных.

Изображение слайда
5

Слайд 5: Законы универсального множества

1*a=a 1+a=1 1+a+b+…+z=1 т.е. дизъюнкция любого числа переменных обращается в единицу, если хотя бы одна из ее переменных имеет значение 1, независимо от значений других переменных.

Изображение слайда
6

Слайд 6: Законы двойной инверсии

а =a, т.е. двойную инверсию можно снять. Законы дополнительности: а) логическое противоречие a  a= 0, б) закон исключенного третьего а+  a= 1

Изображение слайда
7

Последний слайд презентации: Аксиомы и законы алгебры логики

Коммутативный (закон перемещения) закон ab=ba a+b=b+a Ассоциативные (сочетательные) законы. a(bc)=(ab)c=abc Дистрибутивные (распределительные) законы: а) конъюнкции относительно дизъюнкции a(b+c)=ab+ac б) дизъюнкции относительно конъюнкции a+bc=(a+b)(a+c)

Изображение слайда