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
Soluções para a tarefa
De acordo com a tabela verdade podemos afirmar que as proposições são análogas. Entendemos esta afirmativa quando realizamos a análise de cada uma de suas partes:
- p q r pVq pVr pVq ∧ pVr
v | v | v | v | v | v
v | v | f | v | v | v
v | f | v | v | v | v
v | f | f | v | v | v
f | v | v | v | v | v
f | v | f | v | f | f
f | f | v | f | v | f
f | f | f | v | v | f
- p q r q∧r p V (q∧r)
v | v | v | v | v
v | v | f | f | v
v | f | v | f | v
v | f | f | f | v
f | v | v | v | v
f | v | f | f | f
f | f | v | f | f
f | f | f | f | f
II) Não há apenas as correspondências das expressões, cabendo assim ao programador o dever de compreender também a expressão: [(p∧q) ∧p] V [((p∧q) Vq) ∧p] pois ela é o solução da junção de (p∧q) ∧p e ((p∧q) Vq) ∧p. Essa é uma expressão simplificada, que vimos previamente.
Entendendo a equivalência das expressões
As expressões apresentadas são equivalentes entre si pois elas passam a mesma ideia. Ou seja, elas sempre devem ter o mesmo valor lógico, quando uma é verdadeira, a outra também deve ser verdadeira, e consequentemente ocorre o mesmo quando elas são falsas. Por isso há uma conexão entre elas formando a equação [(p∧q) ∧p] V [((p∧q) Vq) ∧p].
Aprenda mais sobre tabela verdade em brainly.com.br/tarefa/38427225
#SPJ4