Инфоурок Информатика Другие методич. материалыБуклет на тему "Алгебра логики"

Буклет на тему "Алгебра логики"

Скачать материал

Выберите документ из архива для просмотра:

Выбранный для просмотра документ Алгебра логики.pdf

 

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

 

 

 

           Закон исключенного третьего Высказывание может быть либо ложным, либо истинным. Третьего не дано.

A   ¬A = 1

           Закон непротиворечия

Высказывание не может противоречить самому себе.

A & ¬A = 0

           Закон двойного отрицания

Если дважды отрицать высказывание, то получится исходное.

¬¬A = A

           Законы повторения (идемпотентности) Сколько ни повторяй, значение не изменится. A  A = A   |   A & A = A

           Законы коммутативности

ТАБЛИЦА ИСТИННОСТИ

Таблица истинности – таблица, показывающая,  какие значения принимает составное высказывание при  всех сочетаниях (наборах)  значений  входящих в него простых высказываний.

 

Алгоритм построения таблицы истинности:

1.             подсчитать количество переменных n в логическом выражении;

2.             определить число строк в таблице по формуле m=2n, где n – количество переменных;

3.             подсчитать количество логических операций в формуле;

4.             установить последовательность выполнения логических операций с учетом скобок и приоритетов;

5.             определить количество столбцов: число переменных + число операций;

6.             выписать наборы входных переменных;

7.             провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной в пункте 4 последовательностью.

 

Заполнение таблицы:

1.             разделить колонку значений первой переменной пополам и заполнить верхнюю часть «0», а нижнюю «1»;

2.             разделить колонку  значений  второй переменной на четыре части и заполнить каждую четверть чередующимися группами «0» и «1», начиная с группы «0»;

3.             продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами «0» или «1» до тех пор, пока группы «0» и «1» не будут состоять из одного символа.

(переместительные) От перестановки высказываний значение не изменится.

A  B = B  A   |   A & B = B & A

           Законы ассоциативности

(сочетательные) От порядка выполнения операций конъюнкции (дизъюнкции) значение не изменится.

(A  B)  C = A  (B  C)

(A & B) & C = A & (B & C)

           Законы дистрибутивности (распределительные) A & (B  C) = (A & B)  (A & C)

A  (B & C) = (A  B) & (A  C)

           Законы поглощения

A ( A & B) = A   |   A & (A  B) = A

           Законы де Моргана

¬(A & B) = ¬A  ¬B   |   ¬(A  B) = ¬A & ¬B

           Свойства констант

A & 0 = 0   |  A  0 = A

A & 1 = A  |   A  1 = 1

Логика не знает жалости.

Виктор Гюго

Просмотрено: 0%
Просмотрено: 0%
Скачать материал
Скачать материал "Буклет на тему "Алгебра логики""

Методические разработки к Вашему уроку:

Получите новую специальность за 3 месяца

Специалист по переработке нефти и газа

Получите профессию

Фитнес-тренер

за 6 месяцев

Пройти курс

Рабочие листы
к вашим урокам

Скачать

Получите профессию

Секретарь-администратор

за 6 месяцев

Пройти курс

Рабочие листы
к вашим урокам

Скачать

Скачать материал

Найдите материал к любому уроку, указав свой предмет (категорию), класс, учебник и тему:

6 697 564 материала в базе

Материал подходит для УМК

Скачать материал

Другие материалы

Презентация на тему: Технология создания брошюры «Операционные системы» с использованием текстового процессора MS Word»
  • Учебник: «Информатика. Базовый уровень», Босова Л.Л., Босова А.Ю.
  • Тема: § 25. Компьютерные презентации
  • 16.09.2020
  • 529
  • 6
«Информатика. Базовый уровень», Босова Л.Л., Босова А.Ю.

Вам будут интересны эти курсы:

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.

  • Скачать материал
    • 29.09.2020 646
    • RAR 1.2 мбайт
    • 32 скачивания
    • Оцените материал:
  • Настоящий материал опубликован пользователем Гаврилова Алла Юрьевна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт

    Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.

    Удалить материал
  • Автор материала

    Гаврилова Алла Юрьевна
    Гаврилова Алла Юрьевна
    • На сайте: 7 лет и 8 месяцев
    • Подписчики: 0
    • Всего просмотров: 799
    • Всего материалов: 1

Ваша скидка на курсы

40%
Скидка для нового слушателя. Войдите на сайт, чтобы применить скидку к любому курсу
Курсы со скидкой

Курс профессиональной переподготовки

Экскурсовод

Экскурсовод (гид)

500/1000 ч.

Подать заявку О курсе

Курс повышения квалификации

Применение компьютерных моделей при обучении математике и информатике в рамках ФГОС ООО

72 ч. — 180 ч.

от 2200 руб. от 1100 руб.
Подать заявку О курсе
  • Сейчас обучается 49 человек из 28 регионов
  • Этот курс уже прошли 188 человек

Курс повышения квалификации

Специфика преподавания информатики в начальных классах с учетом ФГОС НОО

72 ч. — 180 ч.

от 2200 руб. от 1100 руб.
Подать заявку О курсе
  • Сейчас обучается 42 человека из 20 регионов
  • Этот курс уже прошли 284 человека

Курс профессиональной переподготовки

Математика и информатика: теория и методика преподавания в профессиональном образовании

Преподаватель математики и информатики

500/1000 ч.

от 8900 руб. от 4450 руб.
Подать заявку О курсе
  • Сейчас обучается 35 человек из 21 региона
  • Этот курс уже прошли 59 человек

Мини-курс

Цифровая трансформация в бизнесе: аспекты управления и развития

3 ч.

780 руб. 390 руб.
Подать заявку О курсе

Мини-курс

Методика образовательных игр с детьми раннего возраста

3 ч.

780 руб. 390 руб.
Подать заявку О курсе
  • Сейчас обучается 27 человек из 16 регионов
  • Этот курс уже прошли 42 человека

Мини-курс

Дизайн-проектирование: практические и методологические аспекты

4 ч.

780 руб. 390 руб.
Подать заявку О курсе