Question

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?

Answer 1

Proposição simples e composta

Valores Lógicos de uma Proposição

O valor lógico de uma proposição é V se a proposição for verdadeira e F se for falsa.

Proposição Simples e Composta

Uma frase simples, expressa uma única ideia, ou seja, não contém nenhuma outra frase como parte integrante de si mesma, geralmente são indicadas por letras minúsculas.

Uma frase composta é aquela formada pela combinação de mais de uma frase simples.

Para saber mais, acesse: https://brainly.com.br/tarefa/19476510

#SPJ4

Answer 2

Resposta:

Explicação:

(p V q) ^ (p V r)

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                   v

f      f     v        f              v                  v

f      f     f         f              f                   f

Pv(Q ^ R)

p    q    r        (Q^R)      Pv(Q^R)

v     v    v           v                v

v     v    f            v                v

v     f     v           v                v

v     f     f            f                 v

f      v    v           v                v  

f      v    f            v                v

f      f     v           v                v

f      f     f            f                 f

circuito lógico

p    q     p.q     p+q    (p+q).p

1     1        1         1           1

1     0       0        1           1

0    1        0        1           0

0    0       0        0          0