Tabela verdade é um dispositivo utilizado no estudo da lógica matemática. Com o uso desta tabela é possível definir o valor lógico de uma proposição, isto é, saber quando uma sentença é verdadeira ou falsa. Em lógica, as proposições representam pensamentos completos e indicam afirmações de fatos ou ideias. Utiliza-se a tabela verdade em proposições compostas, ou seja, sentenças formadas por proposições simples, sendo que o resultado do valor lógico depende apenas do valor de cada proposição.



Fonte: TodaMatéria. Disponível em:. Acesso em: 10/06/2022.



Em um circuito lógico, um programador se deparou com a seguinte expressão lógica:


(p V q) ^ (p V r)


​Não satisfeito com essa expressão ele buscou uma expressão mais simples, porém que fosse equivalente, chegando a seguinte expressão:


p V (q ^ r)


​Levando em consideração essas duas expressões é possível dizer que as mesmas são equivalentes?


Além das equivalências das expressões o programador decidiu construir um diagrama de Venn que exemplificasse com mais clareza a situação abordada, logo qual foi o diagrama a, qual ele chegou como resultado?



Alguem pode me ajuda?