Lógica- lei de Morgan

Analisemos inicialmente ambas as preposições individualmente:

Vamos começar construindo a tabela-verdade para a primeira parte da proposição: ~ (p ^ q).

```
| p | q | p ^ q | ~ (p ^ q) |
|---|---|-------|----------|
| V | V |   V   |     F    |
| V | F |   F   |     V    |
| F | V |   F   |     V    |
| F | F |   F   |     V    |
```

Agora, vamos construir a tabela-verdade para a segunda parte da proposição: ~ p v ~ q.

```
| p | q | ~ p | ~ q | ~ p v ~ q |
|---|---|-----|-----|----------|
| V | V |  F  |  F  |     F    |
| V | F |  F  |  V  |     V    |
| F | V |  V  |  F  |     V    |
| F | F |  V  |  V  |     V    |
```

Por fim, vamos combinar as duas partes e construir a tabela-verdade completa:

```
| p | q | ~ (p ^ q) | ~ p v ~ q | ~(p ^ q) ⇔ (~ p v ~ q) |
|---|---|-----------|----------|---------------------|
| V | V |     F     |     F    |         V           |
| V | F |     V     |     V    |         V           |
| F | V |     V     |     V    |         V           |
| F | F |     V     |     V    |         V           |
```

Analisando a tabela-verdade completa, podemos concluir que para todas as combinações de valores de verdade para p e q, a proposição ~(p ^ q) ⇔ (~ p v ~ q) é sempre verdadeira. Portanto, a proposição é uma tautologia, já que a última coluna é composta apenas por "V" (verdade) em todas as linhas.

Questão em desacordo coma s regras do forum

IX- As questões devem ser postadas em modo texto, não sendo aceitas imagens ou links para o enunciado da questão. São aceitas imagens para adicionar figuras esclarecedoras ou que façam parte da questão. Isto se deve ao fato de que os mecanismos de busca, tanto internos quanto externos não reconhecem imagens.