Основные понятия алгебры логики

Лабораторная работа №1.5

Тема 1.5 Основные понятия алгебры логики

Цель работы

Определение истинности и ложности высказываний, применение логических операций, представление логических выражений в виде выражений, выполнение упрощений выражений.

Задание к лабораторной работе

1. Определить истинность или ложность высказываний:

• «2´2=5» и «2´2=4»

• «2´2=5» или «2´2=4»
• «2´2=5» и «2´2=4» или «2´2=3»
• «2´2=5» или «2´2=4» или «2´2=3»
• «2´2=5» или «2´2=4» и не «2´2=3»
• «2´2=4» и не «2´2=3» и не «2´2=5»

2. Из заданных логических функций тождественно истинной являются:

1. А или А или А

2. А и А и А
3. А или не А или не А
4. А и не А и не А
5. А и не А или не А
6. А или А и не А
7. А или не А и А
8. А или не А или А
9. А и не В или А
10. А и не А или В
11. А и В или не А
12. А или В или не А
13. не А и не В или А
14. не А или В или не В

3. Для словесного описания функции: Логическое выражение является истинным, если хотя бы два из трёх высказываний, составляющих данное выражение, являются истинными

• таблицу истинности,

• совершенную дизъюнктивную и конъюнктивную формы функции,
• минимальную дизъюнктивную и конъюнктивную формы функции с использованием метода непосредственных преобразований,
• минимальную дизъюнктивную и конъюнктивную формы функции с использованием метода Карно-Вейча,
• минимальную форму функции с использованием операции «И-НЕ»,
• минимальную форму функции с использованием операции «ИЛИ-НЕ».

4. Оформить отчет о лабораторной работе (форма отчета приведена ниже). Сдать напечатанный и подписанный студентом отчет на следующем занятии.