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?