Logica

1º) Construir a tabela verdade das seguintes proposições:

a. (p v q’)’

b. p ^ q  p v q

c. (p  q)  p ^ q

d. (p ↔ q’) ↔ qp

e. (p ^ q  r) v (p’ ↔ q v r’)

2º) Determinar P(VV,VF,FV,FF) em cada um dos casos:

a. P(p,q) = (p’↔ q)

b. P(p,q) = (p ^ q’) v (p’^q)

c. P(p,q) = (p v q) ^ p’  (qp)

3º) Escreva cada uma das proposições compostas a seguir em notação simbólica, usando letras de proposição para denotar as componentes:

a. Se Anita ganhar a eleição, então os impostos serão reduzidos.

b. Se o cavalo descansa então o cavaleiro ganha.

c. Os impostos serão reduzidos se e somente se Anita ganhar as eleições e a economia permanecer forte.

d. Vai chover ou nevar, mas não ambos.

e. Se Jane vencer ou perder, vai ficar cansada.

f. Os impostos serão reduzidos se a economia permanecer forte.

g. Uma economia forte virá se Anita ganhar a eleição.

h. A economia permanecerá forte se, e somente se, Anita ganhar a eleição ou os impostos forem reduzidos.

4º) Um chip de memória de um microcomputador tem 24 elementos com dois estados (ligado/desligado). Qual o número total de configurações ligado/desligado possíveis.

5º) Construa a tabela verdade das proposições a seguir:

a. (AB) ↔ A’ v B

b. (A ^ B) v C  A ^ (B v C)

c. (A ^ B’) ^ C ↔ (A ^ C) ^ B’

d. A v (B ^ A’) ↔ A v B

e. [B’ ^ (AB)]’  A’

f. A  B’ ^ C v D