How to asankirin têgînên vacî: function, qanûn û wergerandî

Îro em bi hev re hîn bibin asankirin têgînên maqûl, em hevudu bi qanûnên bingehîn û k'ûr ser sifrê rastî ji karên mantiqa.

Ji bo dest bi, çima vê mijarê. Ma tu qet dît çawa bi axivin? Ji kerema xwe not bikin ku axaftina û çalakiyên me her tim bi ya qanûnên mantiqa. Ji bo ku bizanibin ku di encamê de ti bûyer û ne ji bo asê be, qanûnên hêsan û zelal ji mantiqa fêr bibin. Ew dê alîkariya te ne bi tenê pola baş li zanistê dibe get an to get gogan zêdetir di îmtîhanê de Dewleta xwe ya yekbûyî, di heman demê de ji bo di rewşên rast-jiyana tevbigerin in random ne.

operasyonên

To hîn çawa asankirin têgînên ku mantiqa, divê hun bizanibin:

• Çi features nake cebîrê Boolean;
• Kêmkirina û qanûna converter têgînên ku;
• ku fermana operasyonên.

Niha em li ser van mijaran bi berfirehî mezin binêre. Werin, em bi operasyonên dest. Ew rind hêsan bi bîr in.

1. Yekemîn tiştê ku em bala xwe multiplication maqûl, di lîteratûrê de ku navê operasyona bi minasebeta. Eger bi şertê ku di form of expression nivîsîn, vê operasyonê de diyar ji aliyê isaret şikestî, nîşana multiplication, an "&".
2. The next erkên herî pir tê bikaranîn - Ji bilî mantiqî an disjunction. isaret mark Her an nîşaneya zêdek.
3. A feature pir girîng ya neyînî an jî nîflanî e. Bînin bîra xwe ka di zimanê Russian hûn prefix îzole. Graphically, berevajîbûna bi pêşgira ber derbirînê, yan xeta horizontal li jor jî got.
4. Di encam de aqilane (an jî Num) got bi tîrekê ji nirxê lêpirsînê. Eger em di operasyona çavan ji ya nihêrîna bi zimanê Rûsî, ev rêje li gorî avahiya hevokê de: "heger ... paşê jî ...".
5. Next li hevnirxîya, ku ji aliyê du-way tîra kevanan e. Li Rûsyayê, vê operasyonê de wiha ye: "bi tenê ger".
6. Sheffer stroke du têgînên ji bar vertical vediqetîne.
7. Pierce Arrow, wesan Sheffer stroke, hîseyên îfade tîra vertical lêger xwe ketibû.

Sure ji bo xwe not bikin ku operasyonên divê li cihekê hişk pêk bê: bi neyînî, multiplication, ji bilî, vedikin, li hevnirxîya. Ji bo operasyonên "stroke Sheffer" û "herî maqûl û ne jî" tune ye, hukmê pêşanî hene. Ji ber vê yekê, divê ew li gor pergala ku ew di îfadeya aloz rawestin pêk bê.

table rastî

Asankirin îfadeya Boolean û di avakirina sifrê rastiyê de ji bo biryara bêhtir wê bê zanîn ji maseyên operasyonên bingehîn ne mimkun e. Niha em ji bo hevdîtinê bi wan re. Zanibe ku nirxên dikarin yan nirxa rast e an xelet bigire.

Ji bo xaçerêya ji ser sifrê wiha ye:

Table operasyona disjunction bo:

neyînî:

di encam de:

hevnirxîya:

Barcode Schiffer:

Pierce Arrow:

sivikkirina qanûnên

Li ser pirsa çawa asankirin têgînên ku mentiqa di zanist dibe, dê alîkariya me bibînin bersivên qanûnên hêsan û zelal ji mantiqa.

Werin, em bi a herî hêsan ji qanûna nakokî dest pê bike. Eger em bi navlêkirina pêşberî (A û Nea) zêde dikin, paşê em derewan. Di çarçoveya dozê de ji bilî têgihên berevajî, em rastiyê bistînin, bi qanûna bi navê "qanûna navîn hiştin." Gelek caran li cebîrê Boolean in têgînên ku bi înkara du qat (Nea ne) heye, îdî em bersîvekê A. her du ya qanûna de Morgan hene:

• ku em xwedî li neyînî ji bilî mentiqî de, em li multiplication ji du têgînên ku bi meylekê dike ku (bi (A + B) = * Nea Neuve) de bigirî;
• kiryarên similar, û qanûna duyemîn, em înkara multiplication xwar, em ji bo lê zêde bike du nirxên bi meylekê dike.

duplication pir caran, nirxê heman (A yan B) ava an bi hev re dibû. Di vê rewşê de, bi qanûna ku dubarekirina (= A * A + B an A = B). Qanûn û destdanîna hene:

• A + (A * B) = A;
• A * (A + B) = A;
• A * (HEA + B) = A * B.

du qanûn kombîne heye:

• (A * B) + (A * B) = A;
• (A + B) * (A + B) = A.

Asankirin têgînên mentiqî de hêsan e, heke hûn bizanin bi qanûnên cebîrê Boolean. Her tişt di lîsteyê de di vê beşê de of articles qanûn dikare bê ezmûnî hatiye ceribandin. Ji bo vê armancê em li gor qanûnên matematîkê de veke bixemilînî.

MÎNAK 1

Em hemû taybetmendiyên yekkirina têgînên mentiqî de xebat kirine, niha pêwîst bi hêztir zanîna xwe ya nû di pratîkê de. Em pêşnîyarî we make out bi hev re sê wergerandî ji bernameya dibistanê û bilêtên yên di ezmûna dewleta yekgirtî.

Di mînaka yekem de, divê em asankirin îfadeya: (P * E) + (C * it). Yekem, em bala me dikişîne ser wê yekê ku li herdu bixemilînî yekemîn û duyemîn de xwedî guherbarên heman bi offers to make it ji bixemilînî vegerin. C * (E + it): Piştî ku em çawa bi guherîna îfade kirin. Beriya niha em li gor Şerîeta * navîn hiştin nêrî, ew derbas dibin bi rêzgirtina ji bo îfadeya. Piştî ku ew, em dikarin bêjin ku E + = 1 Ji ber vê yekê ramanê me ji me bistîne forma: C * 1. Îfadeya di encamê de, em hê jî dikarin ji aliyê dizanin ku C 1 = C * tê hêsan kirin.

Mînak 2

peywîra me wê bibin: çi ye hê jî îfade Boolean simplified ne (C + it) ne + (C + E) + C * E?

Ji kerema xwe li vê nimûne înkara têgînên ku tevlîhev e, divê ev ji bo rizgariya, rêya rast ji aliyê qanûnên De Morgan. Serîlêdana wan, em îfadeya jêr bidest: * E + Nes Nes * it + C * E. Careke din em bi malovanî ji dubarekirina a variable di du dewreyên, to make it ji bixemilînî: HEC * (E + xwe) + C * E. Dîsa, serî li qanûna Bêparhiştina li: HEC * 1 + C * E. Em bibîr bînin, ku komepeyva "Nes * 1" li beramberî Nes: Nes + C * E. Em herweha ji bo bikaranîna qanûna distributive: (HEC + C) * (HEC + E). Em serî li qanûna navîn hiştin: HEC + E.

MÎNAK 3

Te dît ew e ku di rastiyê de pirr bi hêsanî asankirin îfadeya Boolean. Mînak №3 dê bi berfirehî kêmtir boyaxkirin, hewl bidin ku ew bi xwe.

Asankirin îfadeya: (D + E) * (D + F).

1. D * D + D * F + E * D + E * F;
2. D + D * F + E * D + E * F;
3. D * (1 + F) + E * D + E * F;
4. D + E * D + E * F;
5. * D (1 + E) + E * F;
6. D + E * F.

Wek ku hûn dibînin, heke hûn bizanin bi qanûnên yekkirina têgînên ku kompleksa maqûl, piştre ev kar qet we teng de, dê bibe.