Информатика • 10 класс
498

Логические тождества

  • Логическое тождество — это пара формул, которые истинны при одних и тех же значениях переменных.
  • Тождества алгебры логики:

А˅0=А

А˅1=1

А˅A=A

А ˅ А-=А

А--=А

А˄0=0

А˄1=A

А˅A=A

А ˄ А-=0

    • Пример. Докажите равенство AB=¬А˅B.

    • Решение.

А

В

AB

0

0

1

0

1

1

1

0

0

1

1

1

А

В

¬А

¬А˅B

0

0

1

1

0

1

1

1

1

0

0

0

1

1

0

1

Было полезно?

Рекомендуем

Вы учитель или ученик?
Познакомьтесь с нашим образовательным онлайн-сервисом с тысячами интерактивных работ
Учителю
Удобно проводить уроки в классе, назначать работы на дом и анализировать результаты всего класса или конкретных учеников
Ученику
Самостоятельно изучать новые и повторять пройденные темы, готовиться по индивидуальной траектории и оценивать результаты на наглядных графиках
Зарегистрироваться в «Облаке знаний»