2) док-ть: A+¬A*B = A+B
умножаем обе части уравнения на (A+B)
(A+¬A*B)*(A+B) =(A*B)*(A+B) (формулы: A*A=A; A*¬A=0; A*1=A)
A+0+A*B+¬A*B=A+B
A+B*(A+¬A)=A+B
A+B=A+B доказано
1)
F=¬(X+Y)+¬X*Y (формулы: ¬(A+B)+¬A*¬B; ¬A+A=1)
F=¬X*¬Y+¬X*Y
F=¬X*(¬Y+Y)
F=¬X
таблица истинности:
X Y F
0 0 1
0 1 1
1 0 0
1 1 0
------------
F=Y+¬(X+Y)*¬X
F=Y+¬X*¬Y*¬X
F=Y+¬Y*¬X (формула: A+¬A*B=A+B)
F=Y+¬X
таблица истинности:
X Y ¬X F
0 0 1 1
0 1 1 1
1 0 0 0
1 1 0 1