Vamos analisar cada uma das afirmações sobre a extração de expressões booleanas: ( ) Toda expressão obtida pela extração da tabela-verdade é uma expressão canônica e, consequentemente, é passível de simplificação. É falsa (F). Embora as expressões canônicas possam ser obtidas a partir da tabela-verdade, nem toda expressão extraída é canônica, e a simplificação pode não ser sempre possível ou necessária. ( ) Para obter uma expressão na forma de soma de produtos, deve-se escolher as linhas, na tabela-verdade, que apresentarem o valor “1” na coluna de saída. Caso exista algum variável de entrada da linha selecionada valendo “0”, esta deverá ser negada. É verdadeira (V). Essa é a definição correta para a forma de soma de produtos, onde as linhas com saída "1" são utilizadas. ( ) Para obter uma expressão na forma de soma de produtos, deve-se escolher as linhas, na tabela-verdade, que apresentarem o valor “0” na coluna de saída. Caso exista algum variável de entrada da linha selecionada valendo “0”, esta deverá ser negada. É falsa (F). Essa afirmação está incorreta, pois a soma de produtos se baseia nas linhas com saída "1", não "0". ( ) Cada linha selecionada virará uma parcela da expressão canônica resultante. É verdadeira (V). Cada linha que resulta em "1" na tabela-verdade corresponde a um termo na expressão canônica. Agora, organizando as respostas: 1. F 2. V 3. F 4. V A sequência correta é: F; V; F; V, que corresponde à alternativa C: F; V; F; V.