Контрольна робота 2

Завдання 1
Спростити булеві вирази, використовуючи закони та тотожності алгебри логіки (таблиця 1),
згідно варіанту у таблиці 2.
Таблиця 1. Закони алгебри логіки
Назва закону Формули
x + x=x
Закони ідемпотентності
x⋅x=x
x + y= y + x
Закони комутативності
x⋅y= y⋅x
( x + y ) + z=x + ( y + z )
Закони асоціативності
( x⋅y )⋅z=x⋅( y⋅z )
Закон дистрибутивності для кон’юнкції
x⋅( y + z )=x⋅y + x⋅z
відносно диз’юнкції
Закон дистрибутивності для диз’юнкції
x + y⋅z=( x + y )⋅( x + z )
відносно кон’юнкції
Закон виключення третього x + x̄=1
Закон протиріччя x⋅x̄=0
0+ x=x
1⋅x=x
Співвідношення для констант
1+x=1
0⋅x=0
Закони подвійності x + y=x⋅y
(теореми де Моргана) x⋅y=x + y
Закон подвійного заперечення ( x̄ )= x̄=x
x + x⋅y=x
Закони поглинання
x⋅( x + y )=x
x⋅y + x⋅ȳ=x
Закон склеювання
( x + y )⋅( x + ȳ )=x

Таблиця 2. Варіанти завдань

1
A⋅( B̄ +C )
2
A+B⋅C̄ +( Ā+B+ C̄ )
3 A+ Ā⋅B+ Ā⋅C
4
( A+B)⋅A⋅B̄
5 A+ A⋅B+ A⋅C
6
( A+ B̄+ C̄ )
7 A⋅B+ B̄+ Ā⋅B
8
A+( A +B)+ Ā⋅B

Завдання 2
1. Побудувати таблиці істинності і побудувати за допомогою карти Карно скорочену ДНФ
для функцій, що задані у таблиці 3.

Таблиця 3. Варіанти булевих функцій

1 f ( x1 , x 2 , x 3 , x 4 )= x̄ 1 x 2 x̄ 3 x̄ 4 + x 1 x 2 x̄ 3 x̄ 4 + x̄ 1 x 2 x̄ 3 x 4 + x 1 x 2 x̄3 x 4 +
+ x̄ 1 x̄2 x 3 x 4 + x̄ 1 x̄ 2 x3 x 4 + x 1 x̄ 2 x 3 x 4 + x1 x̄ 2 x 3 x̄ 4
2 f ( x1 , x 2 , x 3 , x 4 )= x̄ 1 x̄ 2 x̄ 3 x 4 + x 1 x 2 x̄ 3 x 4 + x 1 x 2 x 3 x 4 + x 1 x̄ 2 x̄3 x 4 + x 1 x̄ 2 x 3 x 4
3 f ( x1 , x 2 , x 3 , x 4 )= x̄ 1 x̄ 2 x̄ 3 x̄ 4 + x̄ 1 x 2 x̄ 3 x̄ 4 +x 1 x 2 x̄ 3 x̄ 4 +x 1 x̄ 2 x̄3 x̄ 4 +
+ x̄ 1 x̄2 x̄ 3 x 4 + x̄ 1 x 2 x̄3 x 4 +x 1 x 2 x̄ 3 x 4 + x̄1 x̄ 2 x 3 x̄ 4 +x 1 x̄ 2 x 3 x̄ 4
4 f ( x1 , x 2 , x 3 , x 4 )=x 1 x 2 x̄ 3 x 4 +x 1 x̄ 2 x 3 x 4 + x̄ 1 x̄ 2 x̄ 3 x 4 + x̄ 1 x̄ 2 x3 x 4 +x 1 x̄ 2 x 3 x̄ 4 +
+ x̄ 1 x̄ 2 x 3 x̄ 4 + x̄ 1 x̄ 2 x3 x̄ 4 +x 1 x 2 x 3 x 4
5 f ( x1 , x 2 , x 3 , x 4 )=x 1 x 2 x 3 x 4 +x 1 x 2 x̄ 3 x 4 +x 1 x̄ 2 x 3 x 4 + x̄ 1 x 2 x3 x 4 + x̄ 1 x 2 x̄ 3 x 4 +
+x 1 x 2 x 3 x̄ 4 + x̄ 1 x 2 x3 x̄ 4 + x̄ 1 x 2 x̄ 3 x̄ 4 + x̄1 x̄ 2 x 3 x̄ 4
6 f ( x1 , x 2 , x 3 , x 4 )= x̄ 1 x 2 x̄ 3 x̄ 4 +x 1 x 2 x 3 x 4 + x̄ 1 x 2 x̄ 3 x 4 +x 1 x 2 x̄3 x 4 +
+ x̄ 1 x̄2 x 3 x 4 + x̄ 1 x̄ 2 x3 x 4 +x 1 x̄ 2 x̄ 3 x̄ 4 +x1 x̄ 2 x 3 x̄ 4
7 f ( x 1 , x 2 , x 3 , x 4 )= x̄ 1 x̄ 2 x̄ 3 x 4 + x1 x 2 x̄ 3 x 4 +x 1 x2 x 3 x 4 +x 1 x̄ 2 x̄3 x 4 +x 1 x̄ 2 x 3 x 4 +
+ x̄ 1 x̄ 2 x 3 x 4 +x 1 x̄ 2 x̄ 3 x̄ 4 +x 1 x̄ 2 x 3 x̄ 4
8 f ( x1 , x 2 , x 3 , x 4 )= x̄ 1 x̄ 2 x̄ 3 x̄ 4 + x̄ 1 x 2 x̄ 3 x̄ 4 +x 1 x 2 x 3 x̄ 4 +x 1 x̄ 2 x̄3 x̄ 4 +
+ x̄ 1 x̄2 x̄ 3 x 4 + x̄ 1 x 2 x̄3 x 4 +x 1 x 2 x 3 x 4 + x̄1 x̄ 2 x 3 x̄ 4 +x 1 x̄ 2 x 3 x̄ 4