I'm having trouble with the Reed-Muller Form, I'm using this notation to make it easier: + = or, * = and, ^ = xor.
This is the given expression (a + !b) * (b + !c).
a + !b = a + (b ^ 1) = a ^ b ^ 1 ^ ab ^ a
I got to (1 ^ ab ^ b) * (1 ^ bc ^ c) but I don't know what to do now.
The solution is supposed to be 1 ^ ab ^ b ^ bc ^ c.