CoreCircle(r)
if size(r) < 2 or size(classes(r)) < 2
MakeFullRule(r);
else
pick t in r;
I[0] = MakeInitialImplicants(t, r);
i = 0;
while(I[i] != emptyset and i < k)
I[i+1] = MakeNextImplicants(I[i]);
i++;
end while
PI = MakePrimeImplicants(I);
P = MakeEssentialImplicants(PI, r);
for each (t, b1b2...bk, r’) in P
if size(r’) < 2 or size(classes(r’)) < 2
MakeFullRule(t, b1b2...bk, r’)
else
MakePartialRule((t, b1b2...bk, r’) v
CoreCircle(r’))
end if
end for
end if
end Circle
CoreCircle (R)
ถ้าขนาด (R) <2 หรือขนาด (เรียน (R)) <2
MakeFullRule (R);
อื่นรับเสื้อในอา; ฉัน [0] = MakeInitialImplicants (t, R); i = 0; ในขณะที่ ( ฉัน [ผม] = emptyset และ i <k)! ฉัน [i + 1] = MakeNextImplicants (ฉัน [ผม]); ฉัน ++; ท้ายในขณะที่PI = MakePrimeImplicants (ฉัน); p = MakeEssentialImplicants (PI, R); สำหรับแต่ละ ( ที b1b2 ... BK, อาร์) ใน P ถ้าขนาด (R) <2 หรือขนาด (เรียน (R)) <2 MakeFullRule (t, b1b2 ... BK, R ') อื่นMakePartialRule ((t , b1b2 ... BK, R ') วีCoreCircle (R)) สิ้นสุดหากสิ้นสุดสำหรับสิ้นสุดหากวงปลาย
การแปล กรุณารอสักครู่..

corecircle ( R )
ถ้าขนาด ( R ) < 2 หรือขนาด ( ชั้นเรียน ( R ) ) < 2
makefullrule ( R ) ;
เลือกอีก T R ;
ฉัน [ 0 ] = makeinitialimplicants ( t , r ) ;
= 0 ;
ในขณะที่ฉัน [ ฉัน ] = emptyset และฉัน < k ) [ 1 ] =
ฉันฉัน makenextimplicants ( [ i ] ) ;
i ;
จบในขณะที่ Pi = makeprimeimplicants ( ผม ) ;
p = makeessentialimplicants ( pi R ) ;
( t , b1b2 ละ . . . . . . . BK , R ) p
ถ้าขนาด ( R ) < 2 หรือขนาด ( ชั้นเรียน ( R ) ) < 2
makefullrule ( T , b1b2 . . BK , R )
อีกmakepartialrule ( ( T , b1b2 . . BK , R ) v
corecircle ( R ) )
จบจบ ถ้าจบถ้า
จบวงกลม
การแปล กรุณารอสักครู่..
