Así, la función canónica de suma de productos (o forma canónica disyuntiva)