How kusika tafura chokwadi kuti kunzwisisa musoro okuti

Nhasi tichaedza kutsanangura sei kuti pave tafura chokwadi kuti musoro okuti. Cherechedza kuti Boolean nemasvomhu akawanikwa, panguva mudukusa mabasa matatu yakabatana wehurumende bvunzo. Kana ukaverenga nyaya ino, ipapo zvirokwazvo iwe kuwana mamwe pfungwa pamusoro bvunzo iri kombiyuta nesayenzi.

akavhiyiwa

Usati kuti tafura chokwadi, tinopa tinyatsoziva kushanda Boolean nemasvomhu.

Tinozotanga kuziva kwatinoita negation ishande. It Anonziwo inversion. Heuno muenzaniso: ". Nhasi ndiri kuenda kufirimu" rokuti Shandisa narwo Ivan Kuchin, somugumisiro tine: "Nhasi handisi kuenda kufirimu."

Ikozvino ngatitaurei pamusoro chokuwanziridza uye kuwedzera kushanda, Boolean nemasvomhu, vane mazita - pachiimbwa uye disjunction azvaitwa. Ngatitii tinoti, "iwe enda mafirimu, kana iwe kudzidza chidzidzo uye vynesesh marara". In mutongo uyu shoko "uye" anoita mashandiro ari pachiimbwa, uye "kana" - disjunction.

The chezvaizoitika - ichi ndechimwe yakaoma pfungwa kushanda kuti rine mashoko maviri: mamiriro uye mugumisiro. Kana isu vanodudzira mutauro wokuRussia, pfungwa rinoumbwa zvinotevera nzira: "Kana ndine nguva kudzidza mabhuku, wozoenda kune mafirimu." Part of pfungwa pamberi grade pfungwa - mamiriro uye mushure grade pfungwa - Somugumisiro.

Zvino, zvishoma pamusoro kushanda yokuenzana kana yokuenzana. Kuti uswedere kwakafanana ne mutauro wokuRussia hazvisi nyore. Nokuti yokuenzana vanofanira kuyeuka kuti kana vaviri chiyamuro mashoko vari venhema kana chokwadi, saka Izvi zvakanaka, kuti yakaenzana mumwe.

algorithm

Zvino tichataura pamusoro sei kuti pave tafura chokwadi kombiyuta zvesayenzi, kana pane, tichakurukura algorithm edu nezvatinoita.

Wokucheresa tafura, zviri kutanga zvakakodzera kuona nhamba masero, misara neshongwe. Tichaita zvose danho nedanho.

• We kuona uwandu pemitsara. Kuti aite izvi, nhamba variables dziri kutaura, uye kumisa zviviri nhamba iyi. Somuenzaniso, kuumba tafura chokwadi, uye kutaura zvazviri kuziva nhamba mitsara kuti mashoko ari variables vatatu? Two kumisa mu dhigirii yechitatu uye vawane masere. Dzakakudzingai heti, tinoda pemitsara masere.
• Kuti tizive uwandu yembiru, tinofanira kuverenga uye nhamba mabasa okuti. Somuenzaniso, mune mazwi HEA * C + B yose mitatu kushandiswa. Chokutanga - the negation, wechipiri - the chokuwanziridza wechitatu - kuwedzera. Saka vazadze tsika remapazi tinoda mbiru matatu. Asi vanofanira kufunga kuti mashoko edu ine variables matatu, uye tinofanira kuzadza avo zvichibvira anofambidzana, achiwedzera zvimwe vakurukuri matatu. Total anotendeuka 6.
• Next, enda enumeration pangava mubatanidzwa variables uye tafura zvekupfakira. Iva nechokwadi kuti kufunga yokutanga remapazi.

Muenzaniso wokutanga (variables matatu)

Tinopa iwe kugadzirisa dambudziko zvinotevera: overenga sei anofambidzana zhinji kugutsa mamiriro F = 1 okuti (HEA + B) + A * hec. Zvino, sei kuti tafura chokwadi yokugadzirisa dambudziko. Enlists rubatsiro vaigadzirira chiito algorithm.

1. Kuwanda mitsara = 9 (sere mubatanidzwa variables + rwonzi - chivharo tafura).
2. basa pakutanga: 1- inversion 2 - Kuwedzera mune mumabhuraketi 3 - kuti inversion kuti C 4 - chokuwanziridza, 5 - Uyezve.
3. Uwandu Columns = 8.
4. Drafting matafura uye zvekupfakira.

1. Kuwana mhinduro yomubvunzo wokuti.
2. Record mhinduro. Answer: 6. Cherechedza kuti mune ezvinhu basa akakumbirwa kuti mubatanidzwa zhinji zvinogutswa, asi regai kuvabvunza kunyora.

Muenzaniso wechipiri (shanduka 4)

Tinopa kuti funga: sei kuti pave tafura chokwadi nokuti nzira: A * B * hec + D? Chii unoenderana nhamba mubatanidzwa: F = 0.

Tinenge aaisitaura algorithm. Kuwanda mitsetse iyi nyaya rwuchiwanzwa kusvika 17, uye mbiru - kusvika 8. Pokutanga akavhiyiwa:

1. A * B;
2. hec;
3. vachiwedzera migumisiro rokutanga uye rechipiri oparesheni;
4. Kuwedzera rechitatu kushanda mugumisiro uye shanduka ukoshi D.

We zano unoedza kuita pachako uye zadza tafura uye ipapo bvunza nemigumisiro muchikamu chino nyaya.

Kubva zvichiguma tafura tingati: ichi inogutswa 7 siyana mubatanidzwa variables.