Untitled Scanned 28

(S)<=(Z)<=(fr) :: Ll

[[(fr A .Vl_) V (.V A /łL)«-»p <->(/)] «-

i- [(/; a yi_) v (y a ftL)4->(y«->ft)]] *- (y«->j) v (b<->d) (fr)

(j?) <= (b a yt.) v (y a b l)/j *y 4-4 bjb ‘j +-> djd /ę <=(pl :: 91

[(.v *-* b) *-> (i 4-4 d) ] *- (y «-> j) v (/; <-> d) (ę)

(Z)<=LL :: ZZ

(b a y*L) v (y a bi-)*-*(s4-*b) (3)

(Z)<=(l) <=**/& ‘^b!^d L9 :: Li (b a yi_) v (y a    *- y) v (y *- b) (p

(l)<=y/J S9<=s/b ‘bjd w :: pt p o .w o a [[(/i a .vl) v (y a bL)*-*(j«-»</)] 4- (y4-> j)] *- (b*->d)    ^-()8

6L<=(Z) " £Z

[y a />l 4-4 (i 4- </)] *- (y 4-4 j) v (fr *-*d) (f) (i)<=s/b 'bjd 89<=(Z) L\

[[y a    <- </)] 4- [y a &i_4-*(y«- />)]] *- (y 4-4 j) v (b*->d) (3)

(3)<=yA b\.fi ‘s *- bjb ’j <-d/d £ę<=(i) :: 91

[(v <_ b)(j 4- (/)] 4- (y4->j) v (b4->d) (i)

0)^9L :: li P?*«a

[ [y a b\- 4-4 (j ♦— </)] 4— (y 4-4 i)] 4— (b 4-4 d) '6 Z. 8£<=(£) - £€

[(yi_ a k)L4-u v r/] 4- (y 4-> j) v (b*-*d) (£) (e)<=.v//; 'bjd 69 <=(?) •" Z.I

[[(yl a /;l)l 4-4 j v J] 4- [(yi_ a k)L^y v />]] 4- (y-4-4j) v (b*-*d) (3) (3)<=(.VL A b\-)\-/u *y v /j/7; ‘j v d/rf /,ę<=(|) :: 91

(y v b*->u v rf)«-(i'4-4j) v (/>4-4{/) (|) (1)<=W. :: Z£ p o,v\ u a [[(.v l a bl)l 4-4 j v rf] 4- (y 4-4./)] 4- (b +-> d)    ■$/,

t>9