[11 gennaio 2022 - A] Esercizio 3

[matypist]

Esercizio 3 (3 punti)

Usando gli assiomi dell’algebra di Boole, verificare la seguente identità:

[Elia-Belli]

• $(\bar a \bar b + ab)+(ac + b) + \overline {a+bc}$
  $\bar a \bar b + ab + ac + b + \bar a (\bar b + \bar c)$
  $\bar a \bar b + ab + ac + b + \bar a \bar b + \bar a \bar c$
  $\bar a \bar b + ac + b + \bar a \bar c$
  $(b + \bar b)(b + \bar a) + ac + \bar a \bar c$
  $b + \bar a +ac + \bar a \bar c$
  $b + (\bar a + a)(\bar a +c)$
  $b + \bar a + c$

[fraxb04]

@Elia-Belli
corretta