A tabela da verdade é uma ferramenta fundamental na lógica e na programação. Ela permite analisar e compreender o comportamento de operadores lógicos, como AND, OR e NOT, em diferentes cenários. Uma proposição composta formada por duas ou mais proposições p, q, r, ... será dita uma Tautologia se: