Л ОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ Проект 10 «А» класса 13.03.2012.

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



Advertisements
Похожие презентации
Методика изучения темы «Представление информации». Язык логики и его место в базовом курсе информатики. Выполнила: Студентка 5-го курса Килина Е.П. группа.
Advertisements

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

Л ОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ Проект 10 «А» класса

1. З АКОН ДВОЙНОГО ОТРИЦАНИЯ. А=А Я пойду гулять = Я не не пойду гулять Двойное отрицание исключает отрицание.

2. П ЕРЕМЕСТИТЕЛЬНЫЙ ( КОММУНИКАТИВНЫЙ ) ЗАКОН. - Для логического сложения: АvB = BvA Ты или я = Я или ты - Для логического умножения: A&B = B&A Собака и кошка = Кошка и собака Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.

3. С ОЧЕТАТЕЛЬНЫЙ ( АССОЦИАТИВНЫЙ ) ЗАКОН. - Для логического сложения: (AvB)vC = Av(BvC) - Для логического умножения: (A&B)&C = A&(B&C) При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

4. Р АСПРЕДЕЛИТЕЛЬНЫЙ ( ДИСТРИБУТИВНЫЙ ) ЗАКОН. - Для логического сложения: (AvB)vC= (A&C)v(B&C) - Для логического умножения: (A&B)vC = (AvC)&(BvC) Определяет правила выноса общего высказывания за скобку.

5. З АКОН ОБЩЕЙ ИНВЕРСИИ ( ЗАКОНЫ ДЕ М ОРГАНА ). - Для логического сложения: AvB = A&B - Для логического умножения: A&B = AvB

6. З АКОНЫ ИДЕМПОТЕНТНОСТИ. - Для логического сложения: AvA = A - Для логического умножения: A&A = A Закон означает отсутствие показателей степени.

7. З АКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ. - Для логического сложения: Av1 = 1, Av0 = A - Для логического умножения: A&1 = A, A&0 = 0

8. З АКОН ПРОТИВОРЕЧИЯ. A&A = 0 Невозможно, чтобы противоречащие высказывания были одновременно истинными.

9. З АКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО. AvA = 1 Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе – ложное, третьего не надо.

10. З АКОН ПОГЛОЩЕНИЯ. - Для логического сложения: Av(A&B) = A - Для логического умножения: A&(AvB) = A

11. З АКОН ИСКЛЮЧЕНИЯ ( СКЛЕИВАНИЯ ). - Для логического сложения: (A&B)v(A&B) = B - Для логического умножения: (AvB)&(AvB) = B

12. З АКОН КОНТРАПОЗИЦИИ ( ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ ). (A B ) = (B A )

Д ОКАЗАТЕЛЬСТВО : Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.