Nume: Pata George

Anul 2 grupa 4

Laboratul 2
———————————————————
Formula initiala: A&(A->B)<->(C&A->B&C)
———————————————————

Formula cu care lucram: A&(A->B)<=>(C&A->B&C) & ((A-

>B) v (B<->C) v (C->D)),

unde A,B,C,D sunt variable,

-> = implicatie
<-> = echivalenta
& = conjunctie
v = disjunctie
! = negatie

Output:
———————————————————————————————
Notam cu F=(A&(A->B)<=>(C&A->B&C)) & ((A->B) v (B<->C)
v (C->D))
———————————————————————————————

a. Tabel de adevăr
A B C D F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 0
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 1
1 1 0 1 1
1 1 1 0 1
1 1 1 1 1

FNCP - Forma normala conjunctiva perfecta este:

(!A v !B v !C v !D) &
(!A v !B v !C v D) &
(!A v !B v C v !D) &
(!A v !B v C v D) &
(!A v B v !C v !D) &
(!A v B v !C v D) &
(!A v B v C v !D) &
(!A v B v C v D) &
(A v !B v !C v !D) &
(A v !B v !C v D) &
(A v !B v C v !D) &

FNDP - Forma normală disjunctivă perfecta este:

(A & !B & C & D) v
(A & B & !C & !D) v
(A & B & !C & D) v
(A & B & C & !D) v
(A & B & C & D) v