E faapefea e faafaigofie faaupuga talafeagai: galuega tauave, tulafono ma faataitaiga

I aso nei o le a tatou aoao faatasi e faafaigofie faaupuga talafeagai, tatou te faamasani i le tulafono faavae ma suesueina le upu moni laulau o galuega tauave mafuaaga.

Ina ia amata i le, aisea lenei mataupu. Pe na e matauina le auala e talanoa ai? Faamolemole ia matau ia e noatia i taimi uma tatou upu ma gaoioiga i le tulafono a le mafuaaga. Ina ia iloa ai le taunuuga o so o se mea na tupu ma le tatau ona maileia, aoao tulafono faigofie ma le manino o mafuaaga. O le a latou fesoasoani ia te oe e le gata maua se togi lelei i le saienisi komepiuta po o le maua atili o polo i le suesuega lotogatasi tulaga, ae e galulue i le tulaga moni o le olaga e le o ni soo.

gaoioiga

Ina ia iloa le auala e faafaigofie faaupuga mafuaaga, e tatau ona e iloa:

• O le a faaalia e le algebra Boolean;
• faaupuga tulafono Faaitiitiga ma le liua;
• o le faasologa o galuega.

O lenei ua tatou vaai i nei mataupu auiliili tele. Sei o tatou amata i le gaoioiga. O i latou o e faigofie ona manatua.

1. O le mea muamua, tatou te matauina le fanafanau talafeagai, i le lomiga o taʻua o le faagaoioiga faatasi. Afai o le tulaga o loo tusia i le pepa faatumu o le faaupuga, o le faagaoioiga faailoa e se faasaʻo inverted, faailoga fanafanau, po o le "&".
2. O le isi e masani ona faaaoga ai galuega - talafeagai faaopoopoga po o disjunction. Lona faailoga faasaʻo poo faaopoopo faailoga.
3. O se vaega taua tele o le negation po inversion. Manatua i le gagana Rusia e pito i luma maotua. Graphically, ua faailoa mai e le inversion e se pito i luma i luma o le faaupuga, po o le laina faalava i luga aʻe.
4. O le taunuuga talafeagai (po o taunuuga) faailoa mai i se aū mai le taua o le suesuega. Afai tatou te mafaufau i le galuega mai le vaaiga o le gagana Rusia, e tutusa ma le ituaiga o fausaga fuaiupu: "afai ... ona ...".
5. Sosoo ai o le equivalence, lea ua denoted e aū e lua ala. I Rusia, o le faagaoioiga e faapea: "pe afai".
6. Sheffer ta vavaeeseina ai le faaupuga e lua o le nofoa faamasino tūsaʻo.
7. Pierce aū, faapena ta Sheffer, o sea faaupuga tūsaʻo aū faasino ifo agai i lalo.

Mautinoa e faailoa atu e tatau ona faia le galuega i le faasologa saolele: negation, fanafanau, gata i lea, o le iuga, o le equivalence. Mo gaoioiga "ta Sheffer" ma le "talafeagai po" e leai se tulafono o mea e faamuamua. O le mea lea, latou te manaomia ina ia faia i le faasologa o loo latou tutu i se faaupuga lavelave.

upu moni laulau

Faafaigofie le faaupuga Boolean ma fausia le laulau o le upu moni mo lana faaiuga atili le mafai e aunoa ma le malamalama o le laulau o gaoioiga faavae. O lenei tatou te tuuina atu e feiloai ma i latou. Manatua o le faatauaina e mafai ona pe a moni pe sese taua.

Mo le faatasi o le laulau e faapea:

Lisi faagaoioiga disjunction mo:

negation:

taunuuga:

equivalence:

Schiffer Barcode:

Pierce aū:

le faafaigofieina o tulafono

I luga o le fesili i le auala e faafaigofie mafuaaga faaupuga i le saienisi komepiuta, o le a fesoasoani ia i tatou ia maua le tali tulafono faigofie ma le manino o mafuaaga.

Sei o tatou amata i le tulafono faigofie o feteenaiga. Afai tatou te faateleina le mataupu faafeagai (A ma NEA), ona tatou maua ai se pepelo. I le tulaga o le faaopoopo o mataupu faafeagai, tatou te maua le upu moni, o le tulafono ua taʻua o "le tulafono a le ogatotonu aofia ai." E masani lava i algebra Boolean o loo faaalia i se negation lua (e le NEA), ona tatou maua ai se tali A. E i ai foi e lua o le tulafono o le de Morgan:

• pe afai tatou te maua le negation o faaopoopo talafeagai, tatou te maua ai le faateleina o faaaliga e lua i se inversion (e le (A + B) = * Nea Neuve);
• gaoioiga faapena, ma o le tulafono lona lua, matou aai faafitia o fanafanau, tatou te maua e faaopoopo taua e lua ma le inversion.

le toe faia lava soo, o le taua lava lea e tasi (A po o le B) ua faavaeina po o faateleina faatasi. I lenei tulaga, o le tulafono o le toe (= A * A + B po o se = B). E i ai tulafono ma mauaina:

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

E lua fusia tulafono:

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

Faafaigofie faamatalaga talafeagai e faigofie pe afai e te iloa le tulafono a algebra Boolean. O mea uma o loo lisiina i lenei vaega o le mataupu tulafono e mafai ona tofotofoina empirically. Mo lenei faamoemoe tatou tatala atu le puipui e tusa ma tulafono o le matematika.

FAATAITAIGA 1

Tatou suesueina o vaega uma o faafaigofie faaupuga talafeagai, o le taimi nei e manaomia e tuufaatasia lo latou malamalama fou i totonu o le faatinoga. Matou te fautua atu e te faia faatasi faataitaiga e tolu mai le aoga polokalama ma pepa o le suʻega lotogatasi setete.

I le faataitaiga muamua, e tatau ona tatou faafaigofie le faaupuga: (P * E) + (C * ai). Muamua, e liliu atu o tatou manatu i le mea moni e faapea e le gata i le puipui muamua ma lona lua le fesuiaiga lava ma ofo e faia i fafo o le puipui. Ina ua uma ona tatou ona faia e manipulating le faaupuga: C * (E + ai). Muamua tatou te vaavaai i le tulafono o le ogatotonu aofia, faaaogaina e tusa ai o le faaupuga. O le mulimuli ai, e mafai ona tatou faapea atu E + = 1 o le mea lea e manaomia ai lo tatou faaalia o le pepa: C * 1. O le faaupuga e maua, e mafai ona faigofie lava ona tatou i le iloaina o le F 1 = F *.

FAATAITAIGA 2

O la tatou galuega e sosoo ai o le a: o le a lava se faaupuga Boolean faigofie e le (C + ai) e lē + (C + E) + C * E?

Faamolemole ia matau i lenei faataitaiga o le negation o faaupuga faigata, e tatau ona aveese o lenei, e taialaina e le tulafono a le De Morgan. Faaaogaina i latou, tatou te maua ai le faaupuga nei: * E + Nes Nes * ai + C * E. Toe o loo tatou molimauina le toe faia o se ma liuliuina i le tulaga lua, ina ia i fafo o le puipui: HEC * (E + ia) + C * E. Toe, apalai le Tulafono Aveesea: HEC * 1 + C * E. Tatou te manatua o le fuaitau "Nes * 1" e tutusa Nes: Nes + C * E. Matou te tuuina atu foi e faaaoga tulafono distributive: (HEC + C) * (HEC + E). Tatou faaaogaina le tulafono o le ogatotonu aofia ai: HEC + E.

FAATAITAIGA 3

Ua e vaai i ai o le mea moni faigofie lava e faafaigofie le faaupuga Boolean. o le a vali Faataitaiga №3 e itiiti auiliili, taumafai e faia e oe lava.

Faafaigofie le faaupuga: (MF + E) * (MF + F).

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

E pei ona e vaai i ai, pe afai e te iloa le tulafono a faafaigofie faaupuga talafeagai lavelave, o le a lava lenei galuega mafua ai ona faafitauli.