Stebs tD Convrta cpa no CNF

BH2: e Linoitalin ot esminals on RHS.

RH S.
n R.HS
th memben a vauabes
Sef3: Retricng

unit bsoducions
þstoductiens and
Stl: Elimination o nul
On RH-s
Step2,: Elintnalon of Hesminals Comstsuctedl
aye

as tollao3:
P et the om A
se incduded in R
onsides A- X, Ka...
2. X lwiH soe
wihsou tesninals on RiHs.
A’ Valinble lai
sa dagminl. ay ai ald
to Vo and Cat ’xi to P,

Steb3
e

Am
 Cm- Am- m and

a oalds to P" an Vn utin

Cm-z thus
Ths
i4
Pedce 7ommras 6 to cNf. G

roeeo to steb 2.
we Can
ut
Cenbtneted as follonos :
inuded in P
suse to
S apAD
A ab
A- a8 14

Gb
A-’ GAB and
A bAB

Step 3' P Condists o S Ca AD,AaB]AB

Bb, D’d, Caa,y’b
4 b ae aalded
4-’ CaB,B’b, Dd, ea-’a,
to P
S CaAD is seplated by S Cal and c, ’ AD
A’ GAB is eplaced by A Gea ad ¬,’ AB
lut Ge s ({S,, b, D, Ca, Ch,ci,¬,7 ja,b,d,P,
 (iv
when
Ca The A A and
SCa-a, a,
we
a, 3hemaining aA
Cat Abb, bb Vn oo ad
Cb, Coonists Cb, giveo teed
ae
G6 to
nk4 gives ae
paoduchorg is A’ Const
A’a to teb
alaced Ca is addedto ant
a, 2
B
BCaA’
A . to ta,
to ao in as
P,
by b S golloos: b),
Bsb S Ca ,
ae
Cali, A s),
GB,
added
CAs Casa ohen
to B,
(Q-3 ind a 4o aryn in CHE tquivalsnt to he
foemn

Eliinainid vduclisgd null ptndue lion"

ho whit rodueHos oml
Nub roductons we omit eb| and po ceee t
S 2 lmirakien do tomials on RHs.
Stehn: 1 Let Gu-Vo, , ps) ohene
aoe Cormtoucted as clous:
ane added to p

S [s)S] induees S Cs C, C Ge’E,

Co’, C’1
=S, A CT, C
Restitng tRe umber ot, Vhsrbles on RH S

S’ CeS C,S C iais halg laced by S Ci,

Ci CasCy

Let Ga=( S, Go,

Ge,Co,
Cy ’1, CScz, C2 ls 3,
in CHe a eqvalent to the tiy
 Sy ACA bA, Als bay e

Se}; Eliminakion o nit hsnduetior

The uni boductions ase
lhe arroduchiors tor the eqivaent qramrar tho
wnit oduetnd ase
S> ASA bA
A’ cAsAl bA
Se, G - C S,A, 63.4 b.c 9, S) wkeye Plomstrs

ep2 Eiminabion ter mhalls in

e in ou om
( )S(A, B c A A<Alc
b

(M) AbA (ndces

S AcA 4
A>ASA)| G,A
 testotia
(ii) suj-lated
th
Go(4S,, ,
Lohe a Corsuts

Gg is in CaE and equivalert to th fi gamnr