▁an ▁interpretation ▁that ▁satisfies ▁a ▁given ▁Boolean ▁formula ▁ ▁Boolean ▁prime ▁ideal ▁theorem , ▁a ▁theorem ▁which ▁states ▁that ▁ide als ▁in ▁a ▁Boolean ▁algebra ▁can ▁be ▁extended ▁to ▁prime ▁ide als ▁ ▁See ▁also ▁Binary ▁( disambiguation ) ▁ ▁Category : B road - con cept ▁articles ▁Category : Comput er ▁science <0x0A> </s> ▁Car a ▁Black ▁and ▁El ena ▁L ik hov t se va ▁were ▁the ▁def ending ▁champions , ▁but ▁lost ▁in ▁semif inals ▁to ▁Con ch ita ▁Martínez ▁and ▁Pat ric ia ▁Tar ab ini . ▁ ▁Virginia ▁Ru ano ▁P asc ual ▁and ▁Pa ola ▁Su á rez ▁won ▁the ▁title ▁by ▁defe ating ▁Con ch ita ▁Martínez ▁and ▁Pat ric ia ▁Tar ab ini ▁ 6 – 3 , ▁ 6 – 4 ▁in ▁the ▁final . ▁It ▁was ▁the ▁ 1 3 th ▁title ▁for ▁Ru ano ▁P asc ual ▁and ▁the ▁ 2 1 st ▁title ▁for ▁Su á rez ▁in ▁their ▁respective ▁doubles ▁care ers . ▁It ▁was ▁also ▁the ▁ 3 rd ▁title ▁for ▁the ▁pair ▁during ▁the ▁season , ▁after ▁their ▁wins ▁in ▁Bog ot á ▁and ▁A cap ul co . ▁ ▁Se eds ▁The ▁first ▁four ▁se eds ▁received ▁a ▁by e ▁into ▁the ▁second ▁round . ▁ ▁Draw ▁ ▁Final s ▁ ▁Top ▁Half ▁ ▁B ottom ▁Half ▁ ▁Qual ifying ▁ ▁Se eds ▁ ▁Qual ifiers ▁▁ ▁Ross ana ▁de ▁los ▁R íos ▁/ ▁ ▁L ilia ▁O ster lo h ▁ ▁L ucky ▁Los ers ▁▁