i'm viewing an example written in class. it looks like this:
f(x1, x2, x3, x4) = [(not x1) * x2 * x4] ∨ [x2 * x3 * x4]
what should be function after applying absorption law?
i know how another option called "gluing" works:
[x1 * x2 * x3] ∨ [(not x1) * x2 * x3] = x2 * x3
The Attempt at a Solution
our teacher wrote f(x1, x2, x3, x4) = x2 * x3 * x4 but i'm having a hard time to understand why