MATEMANIJA

Zdravo,
U vezi zadatka sa Bulovom algebrom, zanima me kako ovaj iskaz zadovoljava Bulove aksiome:
[dispmath]c+ab=\left(b+c\right)\left(a+c\right)[/dispmath]
Ovde sam pokušao da preko distributivnosti izvedem nešto, ali bezuspešno, jer nikako ne dobijam početni izraz.

Ne kažemo da iskaz zadovoljava aksiome, već sledi iz aksioma...
[dispmath]\begin{align}(b+c)(a+c) &= (b+c)a + (b+c)c \\ &= ba + ca + bc + cc \\ & = ab + ca + cb + cc \\ &= ab + ca + cb + c \\ &= ab + c(a + b + 1)\\ &= ab + c1 \\ &= ab + c\end{align}[/dispmath]