LOGO Законы алгебры логики. Применение законов логики для упрощения выражений. - презентация

1 LOGO Законы алгебры логики. Применение законов логики для упрощения выражений

2 Логические основы компьютеров К. Поляков, Законы алгебры логики 2 названиедля Идля ИЛИ двойного отрицания исключения третьего операции с константами повторения поглощения переместительный сочетательный распределительный законы де Моргана

3 Укажите, какое логическое выражение равносильно выражению A ¬(¬B C). 1) ¬A ¬B ¬C 2) A ¬B ¬C 3) A B ¬C 4) A ¬B C

4

5

6 Задачи для тренировки: 1.Какое логическое выражение равносильно выражению ¬ (A B) ¬C ? 1) ¬A B ¬C 2)(¬A ¬B) ¬C 3)(¬A ¬B) C4) ¬A ¬B ¬C

7 2.Укажите, какое логическое выражение равносильно выражению ¬ (¬А B)? 1)A ¬B 2)2) ¬A B 3)3) B ¬A 4)4) A ¬B

8 3.Какое логическое выражение равносильно выражению ¬(А ¬B) ? 1) A B 2) A B 3) ¬A ¬B 4) ¬A B

9 4.Какое логическое выражение эквивалентно выражению ¬(¬A ¬B) C ? 1) (A ¬B) C 2) A B C 3) (A ¬B) C 4) ¬(A ¬B) C

10 5.Какое логическое выражение эквивалентно выражению A ¬(¬B ¬C)? 1) A B C2) A B ¬C3) A (B C)4) (A ¬B) ¬C 6.Какое логическое выражение эквивалентно выражению ¬(A B) ¬C? 1) (A B) ¬C2) (A B) C3) (¬A ¬B) ¬C4) (A B) C 7. Какое логическое выражение эквивалентно выражению ¬(A ¬B) ¬C? 1) A B C2) ¬(A B) C3) ¬(A C) B4) ¬(A C) B 8. Какое логическое выражение эквивалентно выражению ¬(¬A B) ¬C? 1) (A B) ¬C2) (A B) C3) (A ¬B) ¬C4) (A ¬B) ¬C

11 Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F: Какое выражение соответствует F? 1)¬X ¬Y ¬Z 2) X Y Z 3) X ¬Y ¬Z 4) X ¬Y ¬Z XYZF

12 Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F? 1) ¬X Y Z 2) ¬X Y ¬Z 3) X ¬Y ¬Z 4) X ¬ ¬Y Z XYZF