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

1 Логические схемы

2 Логические основы устройства компьютера. Математический аппарат алгебры логики очень удобен для описания того, как функционируют аппаратные средства компьютера, поскольку основной системой счисления в компьютере является двоичная

3 ЛОГИЧЕСКИЕ СХЕМЫ КОНЪЮНКЦИЯ ( ЛОГИЧЕСКОЕ УМНОЖЕНИЕ )

4 ДИЗЪЮНКЦИЯ ( ЛОГИЧЕСКОЕ СЛОЖЕНИЕ )

5 ЛОГИЧЕСКИЕ СХЕМЫ ИНВЕРСИЯ ( ЛОГИЧЕСКОЕ ОТРИЦАНИЕ )

6 ЛОГИЧЕСКИЕ СХЕМЫ Пример : Составить логические схемы по следующим функциям.

7 ЛОГИЧЕСКИЕ СХЕМЫ Пример : Составить логическую функцию по логической схеме

8 Составить логическую схему по логической функции.

9 Самостоятельно Пример : Составить логические схемы по следующим функциям.

10 САМОСТОЯТЕЛЬНО : Составить логическую функцию по логической схеме.

11

12

13 ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

14 Логические выражения можно преобразовывать в соответствии с законами алгебры логики: Законы коммутативности a b = b a a b = b a Законы ассоциативности (a b) c = a (b c) (a b) c = a (b c)

15 ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Законы дистрибутивности a (b c) = a b a c a (b c) = (a b) (a c) Законы де Моргана (a b) = a b (a b) = a b Законы поглощения a (a b) = a a (a b) = a

16 ПРИМЕРЫ Упростить выражение

17 ПРИМЕРЫ Упростить выражение

18 Решение логических задач средствами алгебры логики

19 Пример : Трое друзей, болельщиков автогонок " Формула -1", спорили о результатах предстоящего этапа гонок. Вот увидишь, Шумахер не придет первым, сказал Джон. Первым будет Хилл.

20 Да нет же, победителем будет, как всегда, Шумахер, воскликнул Ник. А об Алези и говорить нечего, ему не быть первым. Питер, к которому обратился Ник, возмутился : Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.

21 По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки ?

22 Решение. Введем обозначения для логических высказываний : Ш победит Шумахер ; Х победит Хилл ; А победит Алези.

23 Зафиксируем высказывания каждого из друзей :

24 Учитывая то, что предположения двух друзей подтвердились, а предположения третьего неверны, запишем и упростим истинное высказывание Высказывание истинно только при Ш=1, А=0, Х=0. Ответ: победил Шумахер

25 ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ Справедливость законов можно доказать если составить для левой и правой частей выражения таблицы истинности и убедиться, что последние столбцы совпадут.

26 ЗАДАНИЕ Самостоятельно: доказать закон дистрибутивности: (A&B) V C = (A V C)&(B V C).

27 ЗАДАНИЕ Упростить логические выражения :

28 ЗАДАНИЕ Упростить логические выражения _____________ _____ F = Х & Y v X &Y _ _____ F = A v A v B __ _____ F = A v B v A & B v C

29 ДОМАШНЕЕ ЗАДАНИЕ ДОКАЗАТЬ, ЧТО