Tema curs 6

Mandeal Cristian-Valeriu

1 = Adevar
0 = Minciuna

Exercitiul 1 :
A spune ca: „ B este cinstit ”
B spune: ca„ Unul este cinstit, celalalt este mincinos ”

A spune: „ B este cinstit ”

A B B
1 1 1
1 0 1
0 1 0
0 0 0

B spune: „ Unul este cinstit, celalalt este mincinos ”

A B A
1 1 0
1 0 0
0 1 0
0 0 0

A spune: „ B este cinstit ” B spune: „ Unul este cinstit, celalalt

este mincinos ”
A B A B A B
1 1 1 1 0 1
1 0 1 1 0 0
0 1 0 0 0 1
0 0 0 0 0 0

In al patrulea caz A si B au aceeasi valoare, asadar A cat si B sunt

mincinosi.

Exercitiul 2 :

A spune: „ Suntem amandoi cinstiti ”

B spune: „ A este mincinos ”

A B
1 1 0
1 0 0
0 1 1
 0 0 0

In cazul al treilea reiese faptul ca A minte iar B spune adevarul, astfel A este
mincinos iar B este cinstit.

- Daca majordomul spune adevarul, atunci si bucatarul spune adevarul

- Bucatarul si gradinarul nu pot spune concomitent adevarul
- Gradinarul si mesterul nu pot minti concomitent
- Daca mesterul spune adevarul atunci bucatarul minte

Q = Majordomul spune adevarul

R = Bucatarul spune adevarul
S = Gradinarul spune adevarul
T= Mesterul spune adevarul

A=q→r
B = (r ∧ ¬ s) ∨ (¬ r ∧ s) ∨ (¬ r ∧ ¬ s)
C = (s ∧ t) ∨ (¬ s ∧ t) ∨ (s ∧ ¬ t)
D=t→¬r

Q E S T ¬R ¬S ¬T A B C D
1 1 1 1 0 0 0 1 0 1 0 0
1 1 1 0 0 0 1 1 0 1 1 0
1 1 0 1 0 1 0 1 1 1 0 0
1 1 0 0 0 1 1 1 1 0 1 0
1 0 1 1 1 0 0 0 1 1 1 0
1 0 1 0 1 0 1 0 1 1 1 0
1 0 0 1 1 1 0 0 1 1 1 0
1 0 0 0 1 1 1 0 1 0 1 0
0 1 1 1 0 0 0 1 0 1 0 0
0 1 1 0 0 0 1 1 0 1 1 0
0 1 0 1 0 1 0 1 1 1 0 0
0 1 0 0 0 1 1 1 1 0 1 0
0 0 1 1 1 0 0 1 1 1 1 1
0 0 1 0 1 0 1 1 1 1 1 1
0 0 0 1 1 1 0 1 1 1 1 1
0 0 0 0 1 1 1 1 1 0 1 0

Putem spune ca majordomul si bucatarul mint, dar

gradinarul si mester nu se poate trage o cocluzie .