(a + ¬c)(b + ¬c) + ¬abab + a¬c + ¬cb + ¬c¬c + ¬abab + a¬c + ¬cb + ¬c + ¬abab + a¬c + ¬cb + ¬c - ab¬c(a + b) + ¬c - ab¬c + ¬c - ab¬c - ab
(a + ¬c)(b + ¬c) + ¬ab
ab + a¬c + ¬cb + ¬c¬c + ¬ab
ab + a¬c + ¬cb + ¬c + ¬ab
ab + a¬c + ¬cb + ¬c - ab
¬c(a + b) + ¬c - ab
¬c + ¬c - ab
¬c - ab