Como se calcula o número de linhas de uma tabela-verdade com m proposições simples e a alternância de valores para a k-ésima proposição?

Linhas: \(2^m\).
Alternância (k-ésima): \(2^{\,m-k}\).

Explicação:
O número total de linhas de uma tabela-verdade com m variáveis é \(2^m\), porque cada variável pode assumir 2 valores independentes (V ou F).
Para a k-ésima variável, contando da esquerda, os valores V/F aparecem em blocos de tamanho \(2^{\,m-k}\), ou seja, a alternância ocorre a cada \(2^{\,m-k}\) linhas.

Exemplo:
Se \(m=5\) e \(k=3\):
- Linhas: \(2^5=32\).
- Alternância da 3ª variável: \(2^{5-3}=2^2=4\), isto é, padrões como V V V V F F F F … ao longo das 32 linhas.