Logica

Curso: Tecnologia em Sistemas de Informação.
Disciplina: Lógica Matemática.
Professor: Ney Barros.
Turma: TS1P.
Brasília-DF, 20 de agosto de 2013.

EP1
Data-limite para entrega: 10/9/2013
Objetivo
O propósito deste conjunto de exercícios de programação 1 é relacionar lógica proposicional e linguagem algorítmica.

Comando único
Para os exercícios a seguir, escreva algoritmos no Visualg 2 que produzam as saídas desejadas a partir das entradas fornecidas.

Exercício 1
Entrada - valores lógicos para duas letras de proposição A e B.
Saída - valores lógicos correspondentes para:
a) A ∧ B
b) A ∨ B
c) A → B
d) A ↔ B
e) A
1

Os exercícios foram adaptados de “GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 5. ed. Rio de Janeiro: LTC, 2004. 597p. ISBN: 978-85-216-1422-7. No de chamada: 004:51 G383f
5.ed.”, página 64.
2
O Visualg está instalado no Laboratório de Informática no 1 e está disponível para download em http://www.baixaki.com.br/download/visualg.htm. Exercício 2
Entrada - valores lógicos para duas letras de proposição A e B.
Saída - valores lógicos correspondentes para:
a) A → B
b) B ∧ [A ∨ (A ∧ B)]

Exercício 3
Entrada - valores lógicos para três letras de proposição A, B e C.
Saída - valores lógicos correspondentes para:
a) A ∨ (B ∧ C ) → B
b) A ∨ C ↔ (A ∨ C)

2

Requisitos
1. O EP deverá ser FEITO EM DUPLA.
2. Cada algoritmo deverá iniciar com um comentário-cabeçalho (utilize o comando //). O comentário-cabeçalho deverá CONTER AS SEGUINTES INFORMAÇÕES, pelo menos: curso, disciplina, data de entrega, RA do 1o estudante, nome completo do 1o estudante, RA do
2o estudante, nome completo do 2o estudante.
3. Os algoritmos produzidos pela dupla no Visualg (arquivos com extensão “.alg”) deverão ser GRAVADOS EM UM ÚNICO CD e entregues ao professor, até a data-limite. Não serão aceitas entregas posteriores à data-limite nem entregas por outras vias que não o CD, tais como e-mail, redes