In boolean algebra, can the property "ab + a'c = (a + c)(a' + b)" be considered consensus?

32 Views Asked by At

It has a form akin to the following:

  • (a + t₁)(a' + t₂)(t₁ + t₂) = (a + t₁)(a' + t₂)

  • at₁ + a't₂ +t₁t₂ = at₁ + a't₂

These are formally defined as "consensus", will it be accurate to describe the property mentioned in the title consensus as well?