Tabelas-verdade são uma maneira de gerar as combinações usadas em mapas de karnaugh.

As tabelas verdade possibilitam verificar todas as combinações possíveis entre diversas entradas existentes.

Para um dado um número N de variáveis de entrada, teremos 2^N combinações possíveis entre as variáveis.

As tabelas verdade permitem organizar as ideias, possibilitando gerar saídas a partir das entradas fornecidas.

As tabelas verdade têm uma limitação na quantidade de variáveis que podem ser avaliadas, sendo 4 o número máximo possível de avaliar em qualquer situação.