Да, правило поглощения для отрицания работает для отрицания в таком виде: x̅vx̅∧y̅=x̅.
Это можно показать раскрывая выражение x̅vx̅∧y̅ с использованием свойств операций в логике. При этом будет видно, что получится x̅, что подтверждает справедливость правила поглощения для отрицания в данном случае.
Да, правило поглощения для отрицания работает для отрицания в таком виде: x̅vx̅∧y̅=x̅.
Это можно показать раскрывая выражение x̅vx̅∧y̅ с использованием свойств операций в логике. При этом будет видно, что получится x̅, что подтверждает справедливость правила поглощения для отрицания в данном случае.