Yuav ua li cas rau tsim ib tug qhov tseeb lub rooj rau ib tug complex zajlus kom qhia

Niaj hnub no peb yuav sim piav qhia yuav ua li cas rau tsim ib tug qhov tseeb lub rooj rau cov zajlus kom qhia. Nco ntsoov tias lub Boolean algebra yog pom, yam tsawg kawg nyob rau hauv lub peb paub tab ntawm cov unified lub xeev ntsuam xyuas. Yog hais tias koj nyeem no tsab xov xwm, ces muaj tseeb uas koj tau txais ntau cov ntsiab lus nyob rau hauv cov tub ntxhais nyob rau hauv computer science.

ua hauj lwm

Ua ntej koj yuav ua qhov tseeb cov lus, peb muaj tau ntsib nrog cov neeg ua haujlwm Boolean algebra.

Peb yuav pib peb acquaintance nrog cov negation muaj nuj nqi. Nws tseem hu ua inversion. Ntawm no yog ib qho piv txwv: cov kab lus "hnub no kuv yuav mus rau qhov tsos." Thov kom nws tus rov qab, raws li ib tug tshwm sim peb muaj: "Hnub no kuv yuav tsis mus rau qhov tsos."

Tam sim no wb tham txog kev ua lej khu thiab tsis tas li ntawd zog, Boolean algebra, lawv muaj npe - tau thiab disjunction feem. Piv txwv peb hais tias, "koj mus rau qhov tsos, yog tias koj kawm zaj lus qhia thiab vynesesh khib nyiab". Nyob rau hauv no kab lus lo lus "thiab" ua rau cov kev ua ntawm ib tug tau, thiab "yog hais tias" - disjunction.

Cov zajlus kom tsim nyog tau - qhov no yog lwm nyuab logic lag luam uas muaj ob kab zauv: ib tug mob thiab yuav tau txais. Yog hais tias peb txhais tau cov Lavxias teb sab lus, lub tswv yim yog ua nyob ib ncig ntawm cov nram qab no txoj kev: "Yog hais tias kuv muaj sij hawm los kawm txog cov ntaub ntawv, ces mus rau lub tsos." Part ntawm lub tswv yim ua ntej tus zauv point - tus mob thiab tom qab tus zauv point - ib tug tsim nyog tau.

Tam sim no, luv luv txog cov kev ua ntawm equivalence los yog equivalence. Yuav kom kos ib thaum uas tig mus nrog cov Lavxias teb sab lus nyob rau hauv cov ntaub ntawv no yog ib qhov nyuaj. Rau equivalence yuav tsum nco ntsoov hais tias yog hais tias tus ob tswv yim kab zauv yog tog twg los tsis muaj tseeb los yog tseeb, ces tus no zoo, uas yog sib npaug zos rau ib tug.

algorithm

Tam sim no peb yuav tham txog yuav ua li cas rau tsim ib tug qhov tseeb rooj nyob rau hauv lub computer science, los yog theej, peb yuav sib tham txog lub algorithm ntawm tej yam peb ua.

Rau yog nqus rooj, nws yog thawj tsim nyog los mus txiav txim tus naj npawb ntawm hlwb, kab thiab kab. Peb yuav ua txhua yam kauj ruam yog kauj ruam.

• Peb txiav txim seb tus naj npawb ntawm cov kab. Ua li no, suav tus xov tooj ntawm cov tsiaj ntawv muaj nyob rau hauv cov kev qhia, thiab txhim tsa ob nyob rau hauv no muaj pes tsawg tus. Piv txwv li, tsim ib qhov tseeb cov lus, thiab ntau precisely qhia hais tias tus naj npawb ntawm cov kab rau qhov qhia txog peb cov variables? Ob tug tebchaws nyob rau hauv lub thib peb degree thiab tau txais yim. Excluding kaus mom, peb yuav tsum tau yim kab.
• Nyob rau hauv kev txiav txim los mus txiav txim tus naj npawb ntawm kab, peb yuav tsum xam thiab xov tooj ua hauj lwm nyob rau hauv cov kev qhia. Piv txwv li, nyob rau hauv cov nqe lus Hea * C + B nyob rau hauv tag nrho peb kev ua hauj lwm. Tus thawj - tus negation, lub thib ob - tus npaug ntawm peb - tsis tas li ntawd. Yog li ntawd sau qhov tseem ceeb ntawm kev ua hauj lwm peb yuav tsum tau peb txhua. Tab sis yuav tsum coj mus rau hauv tus account lub fact tias peb qhia muaj peb cov tsiaj ntawv, thiab peb yuav tsum tau sau nyob rau hauv lawv tau ob peb ua ke, ntxiv peb ntau tham. Tag nrho cov puv 6.
• Tom ntej no, mus rau lub enumeration tau ob peb ua ke ntawm cov tsiaj ntawv thiab filling rooj. Nco ntsoov xav txog lub tseem ceeb tshaj ntawm kev ua hauj lwm.

Tus thawj piv txwv (peb cov tsiaj ntawv)

Peb muab rau koj daws tau qhov nram qab no teeb meem: xam ntau npaum li cas ob peb ua ke los siav tus mob F = 1 qhia (Hea + B) + A * HEC. Tam sim no, yuav ua li cas yuav ua rau ib tug qhov tseeb rooj kom daws tau qhov teeb meem. Enlists rau cov kev pab ntawm nqus tau ib tug txiav txim algorithm.

1. Cov nab npawb ntawm cov kab = 9 (yim ob peb ua ke ntawm ntau yam + ib kab - cap rooj).
2. muaj nuj nqi ua ntej: 1- inversion 2 - ntxiv nyob rau hauv pab pawg 3 - lub inversion ntawm C 4 - multiplication, 5 - Tsis tas li ntawd.
3. Number of Txhua = 8.
4. Drafting ntxhuav thiab filling.

1. Nrhiav lo lus teb rau lo lus nug.
2. Cov ntaub ntawv teb. Teb: 6. Nco ntsoov tias nyob rau hauv lub zwj ceeb ntawm txoj hauj lwm yog hais ntau npaum li cas ob peb ua ke yog txaus siab, tab sis tsis hais kom lawv sau.

Ib tug thib ob piv txwv (nce mus nce los 4)

Peb muab rau koj yuav tau xav txog: yuav ua li cas rau tsim ib tug qhov tseeb lub rooj rau cov mis: A * B * HEC + D? Yuav ua li cas sau raws nkaus Ii mus rau lub xov tooj ntawm ob peb ua ke: F = 0.

Peb ua raws li cov tib algorithm. Tus nab npawb ntawm kab nyob rau hauv cov ntaub ntawv no yog nce mus rau 17, thiab sab - mus 8. xub ua hauj lwm:

1. A * B;
2. HEC;
3. txawj cov ntsiab ntawm cov thawj thiab thib ob lag luam;
4. Tsis tas li ntawd peb cov lag luam tshwm sim thiab ib tug nce mus nce los tus nqi D.

Peb xav kom koj sim ua kom koj tus kheej thiab sau nyob rau hauv lub rooj thiab ces sab laj nrog qhov kev tshwm sim nyob rau hauv qhov seem ntawm qhov tsab xov xwm.

Los ntawm resulting rooj peb xaus: tus mob no yog txaus siab los ntawm 7 txawv ob peb ua ke ntawm cov tsiaj ntawv.