ZAD. 8. Jeżeli lNT„(a a (P v a)) = P, to zawsze mhcwU);
PA) |
tNTv(P) = P |
-B) |
INTv(a) = F |
0 C) |
lNTv(a) = P |
p D) |
lNTv(a vp) = P |
Z. V l\ o. |
Wyrażenie p jest |
M) |
P a (q v p) |
P B) |
P v (q a p) |
n C) |
4p -o —iq |
PD) |
pop |
ZAD. 10. Poniższe drzewo ii a . \ p) > (a v fi) jest ra.-iolog:
- > (a a fi) o (a / l
W
'"''"...... ‘ .....11' * i-'• *ni«iw -:czy fonnuła
i<x a (i) / -(a . :
—> (a a 0). -ifa / Br a v p- > rx a ft a, P -> a a p
. triając, /e poprzedni węai jat poprawny, określ C|) poprawnie WypfOWMdZGflO węzeł: f A) nr 2
P B) nr 3
2 C) nr 4
' D) nr 5
A)
B)
C) D.)
. Zakładce /.: ; - z s- - : . >Tni indy widuOW\ im |i <| i iyttiboktt f predykatów wskaż
:óre są formułami r&jr.ijoic^ aaiyfikaiorów: n , ^
(Vx • p(x)) >(.■< • •'ł-r-J- 1-30,t .
J\'Jy • ((// y j * -Vy( Jx •[>(*))/• (u ;
lD 12 Zakładają /•* ' 0 fjttami. x - zmiemui iimywnj«n/w;i /,:<*/. <t/,re z poniższych for-
Li rachunku kw«ntyflK^r.'»' » ^
Aj (Vx• P(X» >/:/ • • A*-,\ '• '' '/• 4
m (!■//• I•(/.» ><■ ■' " -0»l-<Vx.P(\))v(V/.|'(/»/( ;/. Wx»)
C. (Vx • (Kx, > f8I »(Vx • Q(x))1
i <.,.-.•)&> .....■ - ■ >R oznaczona 1. Ju/rli nośnik relacyjnego AjR={a, b)
, 1 ' .
m % •* _w ^.w I I i«
■■■