Ответ:
1. 1
2. 0
3. 1
4. A&B
Объяснение:
1.
¬(¬X&¬Y)∨¬X
закон де Моргана
¬¬X∨¬¬Y∨¬X
двойное отрицание
X∨Y∨¬X
переместительный
X∨¬X∨Y
исключение третьего
1∨Y
операция с константой
1
2.
X&(X∨Y)&¬X
X&¬X&(X∨Y)
0&(X∨Y)
0
3.
¬A∨A∨B∨A&B
1∨B∨A&B
4.
(A∨C)&(¬A∨B)&(A∨¬C)
(A∨C)&(A∨¬C)&(¬A∨B)
распределительный
(A∨(C&¬C))&(¬A∨B)
(A∨0)&(¬A∨B)
A&(¬A∨B)
(A&¬A)∨(A&B)
0∨(A&B)
A&B
Copyright © 2024 SCHOLAR.TIPS - All rights reserved.
Answers & Comments
Ответ:
1. 1
2. 0
3. 1
4. A&B
Объяснение:
1.
¬(¬X&¬Y)∨¬X
закон де Моргана
¬¬X∨¬¬Y∨¬X
двойное отрицание
X∨Y∨¬X
переместительный
X∨¬X∨Y
исключение третьего
1∨Y
операция с константой
1
2.
X&(X∨Y)&¬X
переместительный
X&¬X&(X∨Y)
исключение третьего
0&(X∨Y)
операция с константой
0
3.
¬A∨A∨B∨A&B
исключение третьего
1∨B∨A&B
операция с константой
1
4.
(A∨C)&(¬A∨B)&(A∨¬C)
переместительный
(A∨C)&(A∨¬C)&(¬A∨B)
распределительный
(A∨(C&¬C))&(¬A∨B)
исключение третьего
(A∨0)&(¬A∨B)
операция с константой
A&(¬A∨B)
распределительный
(A&¬A)∨(A&B)
исключение третьего
0∨(A&B)
операция с константой
A&B