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: