Question

Можете написать как получилось y ∨ ( x ∧¬z ) из этого: (x ∧ y)∨(( x ∧ ¬z)∨ y)
Никак не могу понять преобразование.

Answer 1

Ответ:

X ∨ (X ∧ Y) = X   -   закон поглощения

(X ∨ Y) ∨ Z = X ∨ (Y ∨ Z)  -  закон ассоциативности

X ∨ Y = Y ∨ X   -   закон коммутативности

=> (x ∧ y) ∨ (( x ∧ ¬z) ∨ y) = (x ∧ y) ∨ (y ∨ ( x ∧ ¬z)) = ((x ∧ y)∨ y) ∨ ( x ∧ ¬z) = (y ∨ (x ∧ y)) ∨ ( x ∧ ¬z)  = y ∨ ( x ∧ ¬z)

Объяснение: