Em uma empresa de tecnologia, o setor de lógica
computacional está desenvolvendo um novo software
que realiza operações com proposições lógicas. Durante
o processo de desenvolvimento, um dos programadores
precisa criar uma tabela-verdade para testar a
funcionalidade de uma proposição composta formada
por diversas proposições simples.
Para otimizar o sistema, o programador precisa saber
quantas linhas essa tabela-verdade deverá ter,
dependendo do número de proposições simples e
distintas que compõem essa proposição composta.
Sabendo que a representa a quantidade de proposições
simples e distintas presentes na proposição composta,
qual seria a fórmula correta para determinar o número de
linhas da tabela-verdade?