11. Задания для подготовки к контрольной работе
1.
Заданы логические функции
и
![]()
![]()
Упростить функции и проверить являются ли они тождественными.
2. Заданы логические функции
и
![]()
![]()
Путем тождественных преобразований получить минимальную форму записи функций и проверить, является ли функция F2 тождественной функции F1.
3![]()
.
Заданы логические функции
и
Необходимо:
а) путем тождественных преобразований получить минимальную форму записи функций
б) проверить, является ли функция F2 тождественной функции F1.
4
.
Упростить выражение:
5. Составить таблицу истинности для формулы:
![]()
6. По заданной логической формуле
![]()
составить таблицу истинности.
7. По заданной таблице истинности построить логическое выражение и упростить его, затем построить логическую схему
-
А
В
С
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
0
0
1
1
1
1
9. Доказать следующие теоремы алгебры логики:
1
)
2)
![]()
3
)
4
)
10. Дана логическая схема. Построить логическое выражение, описывающее эту схему.
А
1
и 3

В 2
или C и 4 5
![]()
![]()




и и
F

12. Варианты контрольной работы по алгебре логики Вариант 1
1. По заданной таблице истинности составить логическое выражение, упростить его и построить логическую схему:
-
А
В
С
F
0
0
0
1
0
0
1
0
0
1
0
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
0
2. Упростить логическое выражение
![]()
3. По логической схеме составить булево выражение, упростить его и по упрощенному варианту нарисовать новую логическую схему
А
2 или
1
В 1 и
3


С 4 А F
4
.
Доказать тождество
5
.
Построить таблицу истинности
Вариант 2
1. По заданной таблице истинности составить логическое выражение, упростить его и построить логическую схему:
-
А
В
С
F
0
0
0
1
0
0
1
0
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
1
1
1
0
1
1
1
1
1
2. Упростить логическое выражение
![]()
3. По логическому выражению построить таблицу истинности
![]()
4. Доказать 18, 22, 27, 29 законы алгебры логики.
5. По логической схеме составить логическое выражение, упростить его и по упрощенному варианту нарисовать новую логическую схему
А В С и или 2 1 4 3







