Na soma de produtos, uma variável pode aparecer apenas uma vez na equação boolena da qual ela faz parte.

Uma soma de produtos está na forma canônica quando todas as variáveis utilizadas aparecem em cada termo produto da equação booleana.

É dito "mintermo" as somas que contêm todas as variáveis da qual a função depende.

Podem haver termos produtos repetidos na soma de produtos na forma canônica.

Nenhuma das alternativas está correta.