MATEMATICI DISCRETE ____________________________________ Laborator Nr.

LOGICA PROPOZIŢIILOR. TABELE DE ADEVĂR ȘI

LEGILE ECHIVALENȚEI PROPOZIȚIILOR

TABELE DE ADEVĂR
1. Determinaţi tabelul de adevăr al propoziţiilor:
a). #$q ↔ ( r → ¬p)%& ∨ #$(¬q → p) ↔ r %&

b). ¬#$ p ∧ (¬q ) ∧ (¬p) ∨ q %&

( ) ( )
c). (( p ∨ q) ∧ (¬p ∨ r )) → (q ∨ r )

2. Folosind tabelele de adevăr, să se arate că:

a). p ∧ ( p ∨ q ) ≡ p

b). p ∨ ( p ∧ q ) ≡ p

c). p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r )

d). p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r )

e). ¬( p ∨ q ) ≡ (¬p) ∧ (¬q )

f). ¬( p ∧ q ) ≡ (¬p) ∨ (¬q )

3. Folosind tabele de adevăr, să se determine care sunt valorile de adevăr ale

propoziţiilor p şi q astfel încât expresiile următoare să fie simultan adevărate:
a). p → ( p ∧ q ) şi ( p ∨ q) ∧¬( p ∧ q)
b). p → q şi (¬p ∨ q) → p

4. Într-o sală de tribunal dau declaraţii trei persoane: Bogdan, Florin şi Stan.
Bogdan declară: Stan este vinovat şi Florin nu este vinovat.
Stan declară: Dacă Bogdan este vinovat, vinovat este şi Florin.
Florin declară: Eu sunt nevinovat, dar cel puţin unul din ceilalţi doi este
vinovat.
Să se stabilească, folosind tabele de adevăr, cine este vinovat şi cine nu.

5. Domnul Alexandru, soţia sa Bianca şi cei trei copii Carmen, Dan şi Ela stau
împreună într-o seară de iarnă.
a. Dacă dl. Alexandru priveşte la televizor, la fel face şi soţia sa.
b. Fie Dan, fie Ela, fie amândoi privesc la televizor.
c. Fie Bianca, fie Carmen, dar nu amândouă privesc la televizor.
d. Dan şi Carmen, fie că privesc, fie că nu privesc la televizor, dar asta
numai împreună.
e. Dacă Ela priveşte la televizor, atunci dl. Alexandru şi Dan privesc şi ei.

1
MATEMATICI DISCRETE ____________________________________ Laborator Nr. 2

Să se stabilească, folosind tabele de adevăr, cine privește şi cine nu privește la

televizor.

LEGILE ECHIVALENȚEI PROPOZIȚIILOR

6. Fără a folosi tabele de adevăr, să se găsească cea mai simplă expresie
propozițională echivalentă cu:
a). ¬q → ( p ∧ q )

b). p → ( q ∨¬p)

c). ( p ∨ q) → ( p ∧¬q)
d). ( p ∨ q) → (¬p ∨¬q)
e). ( p ∧ q) → ¬q
((
f). ¬ p ∧ (¬q ) ∧ r ) )
g). p ∧¬(¬q )

((
h). ¬ p ∧ (¬q ) ∧ r ) )
i). p ∨ "#¬(¬p ∨ q )$%

j). ¬ ( p ∨ q ) ∧ r ∨ q
( )
k). ( p ∨¬q) ∧ (¬p ∨ q) ∨¬(¬( p ∨¬r ) ∧ q)
l).(( p ∨ q) ∧¬( p ∨¬q)) ∨¬( p ∧¬( p ∧¬q))
m). (( p ∧ q ) → ¬q ) ∧ (( p ∧¬q ) → q )

7. Să se exprime operatorii logici SAU exclusiv (XOR) şi echivalenţa numai în

funcţie de operatorii logici ¬ , Ú şi Ù .

8. Fără a folosi tabele de adevăr, să se demonstreze următoarele echivalenţe:

a). "#¬p → ( q → r )$% ≡ "#q → ( p ∨ r )$%

b). #$( p → q ) ∧ ( p → r )%& ≡ #$ p → ( q ∧ r )%&

c). ¬( p ∧¬q ) ∨ q ≡ ¬p ∨ q

9. Fără a folosi tabele de adevăr, să se demonstreze că următoarele expresii

propoziţionale sunt tautologii:
a). ((¬p) ∨ q) ∨ ( p ∧ (¬q))
b). ¬#$( p ∧ (¬q )) ∧ ((¬p) ∨ q )%&

c). ( p ∧ ( q ∨ r )) ↔ (( p ∧ q ) ∨ ( p ∧ r ))
d). (( p ∨ q) ∧ (¬p ∨ r )) → (q ∨ r )
e). !" p ∧ ( p → q )#$ → q

2
MATEMATICI DISCRETE ____________________________________ Laborator Nr. 2

10. Demonstraţi echivalenţele logice următoare utilizând regulile echivalenței

propoziţiilor:
a). p ∧ (¬p ∨ q ) ≡ p ∧ q

b). ( p ∧ q) ∨¬p ≡ ¬p ∨ q
c). p ∨ (¬p ∧ q ) ≡ p ∨ q
d). ¬( p ∧¬( p ∧¬q )) ≡ ¬p ∨¬q
e). ( p ∨ q) ∧¬( p ∨¬q) ≡ q ∧¬p
f). p ∧ ( p ∨ q ) ∧ ( p ∨¬q ) ≡ p

11. Fără a folosi tabele de adevăr să se verifice tipul următoarei expresii (tautologie,
contradicţie, nici tautologie, nici contradicţie):
a). (( p ∨ q) ∧ (¬p ∨ r )) → (q ∨ r )
b). (( p → q ) ∧ ( q → r )) → ( p → r )
c). ( b ↔ ( b → a )) → a

12. Următoarele enunţuri pot fi adevărate sau false. Să se demonstreze cele

adevărate şi să se dea un contraexemplu pentru cele false (se vor specifica
valorile de adevăr ale propoziţiilor din expresie pentru care expresia nu este
adevărată):
a). (( p → q) ∧¬p) → ¬q este o tautologie
b). (( p → ¬q) ∧ q) → ¬p este o tautologie
c). ( p → (¬q ∧ r )) ≡ (¬p ∨¬(r → q))
d). "# p → ( q → r )$% ≡ "# p → ( q ∧ r )$%

e). "# p → ( q → r )$% ≡ "# p → ( q ∨ r )$%

f). "# p → ( q → r )$% ≡ "#( p ∧ q ) → r $%

g). "# p → ( q → r )$% ≡ "#( p ∨ q ) → r $%

h). #$ p ∨ ( q ∧ r )%& ≡ #$( p ∧ q ) ∨ ( p ∧ r )%&

13. Folosind legile echivalenței propozițiilor, să se rezolve Exercițiul nr. 3

14. Folosind legile echivalenței propozițiilor, să se rezolve Exercițiul nr. 4
15. Folosind legile echivalenței propozițiilor, să se rezolve Exercițiul nr. 5

16. Patru prieteni au fost identificați ca suspecți pentru accesul neautorizat într-un
sistem de calcul. Ei au facut urmatoarele afirmații în fața autorităților. Ana a spus:
„Costel a făcut-o.”. Ion a spus: „Eu nu am făcut-o”. Costel a spus: „Diana a facut-
o”. Diana spune: „Costel minte când spune că eu am făcut-o”.
a) Dacă autoritățile știu ca numai unul dintre cei patru suspecți spune adevărul,
cine a făcut-o? Explicați raționamentul.

3
MATEMATICI DISCRETE ____________________________________ Laborator Nr. 2

b) Dacă autoritățile știu ca numai unul din ei minte, cine a făcut-o? Explicați
raționamentul.

17. Să presupunem că există inscripții pe ușile a două camere. Pe ușa de la prima

cameră scrie: „In această cameră este o doamnă și în cealaltă cameră este un
tigru.”. Pe cealaltă ușă scrie: ”Într-una din aceste camere este o doamnă și într-
una din camere este un tigru”. Să presupunem că știți că una dintre inscripții este
adevărată și cealaltă este falsă. În spatele cărei uși este doamna?

18. Ștefan vrea să determine salariile relative a trei colegi de muncă știind două
lucruri. Mai întâi, el știe că dacă Fănică nu este cel mai bine plătit dintre cei trei,
atunci Ioana este. Apoi, el știe că dacă Ioana nu este cu salariul cel mai mic,
atunci Maria este plătită cel mai bine. Este posibil să se determine salariile relative
ale lui Fănică, Ioana și Maria din ceea ce știe Ștefan? Dacă da, cine este plătit cel
mai bine și cine este plătit cel mai puțin bine? Explicați raționamentul.

19. Trei profesori stau într-un restaurant. Ospătarul vine și îi întreabă: „Dorește
toată lumea cafea?” Primul profesor spune: „Nu știu” Al doilea profesor spune:
„Nu știu” În final, al treilea profesor spune: „Nu, Nu toată lumea vrea cafea”.
Ospătarul se întoarce și dă profesorilor care doresc cafeaua. Cum și-a dat seama
ospătarul cine vrea cafea și cine nu?