PROGRAMACAO

Exercício 1: Utilize as equivalências tautológicas dadas na tabela da página 6 da Apostila para simplificar a fbf abaixo. Use o Mupad, como acima, para verificar sua resposta.

Verificação da resposta através do Mupad:

• simplify( (not A or B) and (C or not B) and A, logic )

A and B and C

Exercício 2: Por meio da tabela-verdade verifique quais das expressões seguintes são tautologias ou contradições. Use o Mupad, como acima, para verificar sua resposta. A B A’ B’ AvB (1) AvB’ (2) 1^2 1^2^A’
V V F F V V V F
V F F V V V V F
F V V F V F F F
F F V V F V F F
Portanto a expressão acima é uma contradição.
Verificação da resposta através do Mupad:
• simplify (((A or B) and (A or not B) and not A),logic);

FALSE

Exercício 3: Conforme o exemplo 3 e utilizando apenas o Mupad, faça:

2. Valores de entrada: 1,0; 1,15; 2,1; 2,14; 3,2; 4,0; 4,98 e 5,0.

Condição: • x:=[1, 1.15, 2.1, 2.14, 3.2, 4, 4.98, 5];

[1, 1.15, 2.1, 2.14, 3.2, 4, 4.98, 5]

• i:=0:
• repeat
• i:=i+1;
• if ((x[i]=8.75))and(float(sqrt(15*x[i]))=8 end_repeat

1, "é valor de saída"

1.15, "é valor de saída"

2.1, "não é valor de saída"

2.14, "não é valor de saída"

3.2, "não é valor de saída"

4, "não é valor de saída"

4.98, "não é valor de saída"

5, "não é valor de saída"

Exercício 4: Conforme o exemplo 7, crie uma procedure e calcule os 8 primeiros valores da sequência:
2.
1. S(1)=1
2. S(n)=10 S(n-1) para n ≥2

CONFORME EXEMPLO DA LISTA
• S:=proc(n) begin
• for i from 1 to n do
• if i=1 then S(1):=1 else
• 10*S(i - 1)
• end_if:
• end_for:
• end_proc;

proc S(n) ... end

•