Важнейшие равносильности алгебры логики. 1. Закон двойного отрицания 2. Коммутативность конъюнкции (X*Y=Y*X) 3. Коммутативность дизъюнкции (X+Y=Y+X)

Презентация:



Advertisements
Похожие презентации
Логические законы. Закон тождества Закон непротиворечия Закон исключенного третьего Закон двойного отрицания Законы общей инверсии (законы де Моргана)
Advertisements

1. Закон тождества. Всякое высказывание тождественно самому себе: 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным.
Логические законы и правила преобразования логических выражений.
Законы алгебры логики (тождественные преобразования логических выражений)
ДИКТАНТ 1. Напишите таблицу истинности для операции конъюнкция 2. Напишите таблицу истинности для операции дизъюнкция 3. Напишите таблицу истинности для.
Логические законы и правила преобразования логических выражений.
Законы Алгебры логики В алгебре логики имеются законы, которые записываются в виде соотношений. Логические законы позволяют производить равносильные (
Логические законы и правила преобразования логических выражений A A=0 Соловьева О. А. (A+B)= A B A+ A=1.
Логические законы и правила преобразования логических выражений.
Логические законы Правила преобразования логических выражений.
Законы логики. Закон тождества: всякое высказывание тождественно самому себе Закон непротиворечия: высказывание не может быть одновременно истинным и.
Основные формулы алгебры логики. Законы коммутативности A \/ B = B \/ AA + B =B + A A /\ B = B /\ AA B = B A.
Теоремы алгебры логики Свойства констант: _ _ 1. 0 =1, 1 =0. 2. Х+0=Х, Х 1=Х 3. Х+1=1, Х 0=0 Законы идемпотентности: 4. Х+Х=Х, Х Х=Х Законы исключения.
Законы булевой алгебры Автор: Киселева Д. О. Учитель информатики МБОУ Основная школа 24.
Логические функции Работу выполнила учитель информатики МОУ Стогинской СОШ Киселёва И.В.
Законы логики Законы логики Законы логики Законы логики Упрощение сложных высказываний Упрощение сложных высказываний.
ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ.
Законы логики Законы формальной логики Законы алгебры высказываний.
Методика изучения темы «Представление информации». Язык логики и его место в базовом курсе информатики. Выполнила: Студентка 5-го курса Килина Е.П. группа.
Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
Транксрипт:

Важнейшие равносильности алгебры логики

1. Закон двойного отрицания 2. Коммутативность конъюнкции (X*Y=Y*X) 3. Коммутативность дизъюнкции (X+Y=Y+X)

4. Ассоциативность конъюнкции X*(Y*Z)=(X*Y)*Z 5. Ассоциативность дизъюнкции X+(Y+Z)=(X+Y)+Z

6. Дистрибутивность конъюнкции относительно дизъюнкции X*(Y+Z)=(X*Y)+X*Z 7. Д истрибутивность дизъюнкции относительно конъюнкции

8. Законы общей инверсии (Законы де Моргана)

9. Законы идемпотентности (равносильности)

10. Законы исключения констант

11. Закон непротиворечия 12. Закон исключенного третьего

13. Законы поглощения 1. 2.

14. Законы расщепления (исключения) 1. 2.

15. Законы контрапозиции (правило перевертывания) 1. 2.

16. Закон исключения импликации 17. Закон исключения эквиваленции