An algorithm ny fanorenana ny fahamarinana latabatra ny lojika teny

Ankehitriny, ao amin'ny taratasy ity no hodinihintsika amin'ny an-tsipiriany ny resaka fanorenana marina tokoa latabatra ny lojika fomba fiteny. Miaraka matetika tojo olana izany mpianatra izay manome ny fanjakana iraisana fanadinana amin'ny solosaina siansa. Raha ny marina, ilay antsoina hoe Boolean alijebra dia tsy sarotra raha toa ka mahalala ny lalàna ilaina, asa sy ny fitsipika ho an'ny fanorenana ny fahamarinana latabatra. Ireo no fanontaniana tiantsika ny hanao amin'izao fotoana izao.

Boolean alijebra

lojika alijebra lojika tsotra mifototra amin'ny teny, izay mifampiankina asa, mamorona ny fanehoan-kevitra sarotra. Mariho fa Boolean alijebra ahitana asa roa mimari-droa: koa sy ny fampitomboana (sy disjunction ny mitohy, tsirairay avy); ny unary - inversion. Tsotra rehetra maneho hevitra (singa iray saro-takarina lojika fitenenana) mandray iray amin'ireo soatoavina roa: "1" na "0", "marina" na "diso", "+" na "-" tsirairay avy.

alijebra ny lojika dia mifototra amin'ny somary tsotra vitsivitsy axioms:

• associativity;
• dia commutative;
• hisakana ny fiasan'ireny;
• distributivity;
• additionality.

Raha fantatrareo izany lalàna sy filaharan'ireo asa, fananganana marina latabatra ny lojika dia tsy mahatonga ny teny misy olana. Tadidio fa ny fandidiana tsy maintsy tanterahina amin'ny dingana hentitra: negation, fampitomboana, koa, vokany, equivalence, vao mivoaka ny hanakanana Schiffer na lojika na asa. Fa izany eo ihany, fa ny asa roa farany dia tsy misy fitsipiky ny laharam-pahamehana, ny fampiharana azy ireo araka ny filaharany ao amin'ny izay dia hita.

Fitsipi-famolavolana ny latabatra

Fanorenana ny marina latabatra ny lojika dia manampy hamaha teny maro lojika olana sy mahita vahaolana sarotra ohatra mibahan-toerana. Tsara homarihina fa misy fitsipika ny fitambaran'ireo.

Mba ho araka ny tokony ho ny lojika latabatra, dia ilaina ny manomboka mba hamantarana ny isan'ny andalana. Ahoana no hanaovana izany? Isao ny isan'ny hiovaova izay mahaforona sarotra fanehoan-kevitra, ary mampiasa ny tsotra raikipohy: A = 2 ny hery n. Ary - izao no isan'ny andalana ao amin'ny latabatra nangonin'ny fahamarinana, N - dia ny isan'ny hiovaova izay anisan'ny sarotra fanehoan-kevitra mirindra.

Ohatra: Misy teny telo sarotra hiovaova (A, B sy C), dia ratsy dia tsy maintsy naorina marika eo amin'ny ambaratonga fahatelo. B no fahamarinana latabatra isika dia manana andalana valo. Add iray andalana ny lohatenin 'ny andry.

Manaraka, dia mitodika any amin'ny fanehoan-kevitra sy mamaritra ny lamin 'asa tanterahana. Tsara kokoa ho an'ny tenany mba pensilihazo marika (iray, roa, sy ny sisa).

Ny dingana manaraka dia kajy ny isan'ny asa. Ny vokatr'izany isa - ny isan'ny andry eo amin'ny latabatra. Aza adino ny hanampy na dia maro andry tahaka ny hiovaova voarakitra ao amin'ny teny, mba hameno ny azo atao ny tsikombakomba ny hiovaova.

Manaraka, dia mila mameno ny satrony ny latabatra. Ireto ambany ireto ny ohatra hitanao izany.

Ankehitriny miroso amin 'ny famenoana ny azo atao ny tsikombakomba. Nandritra ny roa hiovaova, dia toy izao manaraka izao: 00, 01, 10, 11. Fa telo hiovaova: 000, 001, 010, 011, 100, 101, 110, 111.

Araka izay rehetra voalaza etsy ambony ny zavatra afaka mivoaka amin'ny fikajiana ny sisa sela sy nameno ny vokatr'izany latabatra.

ohatra

Hodinihintsika ny ohatra ny fanorenana ny latabatry ny lojika maneho hevitra dia marina ny inversion de A + B * A.

1. Count hiovaova: 2. Isan'ny tsipika: 4 + 1 = 5.
2. Ny filaharan'ny zavatra famonoana: ny voalohany inversion, mpampitohy faharoa, fahatelo disjunction.
3. Isan'ny Columns: 3 + 2 = 5.
4. Mahazo hay fantarina sy nameno latabatra.

Amin'ny maha-fitsipika, ny asa feo toy izao: "Maro be manefa tsikombakomba F = 0" na "Inona ny tsikombakomba F = 1". Ary tamin'ny fanontaniana voalohany ny valiny - 1, ny faharoa - 00, 01, 11.

Mamaky ny asa tsara izay efa nomena. Azonao atao tsara ny mamaha ny olana, fa mba manao fahadisoana an-tsoratra ny valiny. Indray mandeha indray aho, hanatona ny sainy ho ny lamin 'ny asa;

• fandavana;
• fampitomboana;
• koa.

asa

Fanorenana ny fahamarinana latabatra afaka manampy mba hahita ny valin 'ny olana sarotra mirindra. Araho ny dingan'ny fanomanana maneho hevitra sy ny fahamarinana latabatra ho an'ny toe-javatra nisy ny lojika asa azonao atao ato amin'ity fizarana ity ny lahatsoratra.

Noho efatra soatoavin'ny A: 1), 7 2) 6, 3), 5, 4) 4. Fa ny sasany amin'izy ireo ny fanambarana "inversion (kely A 6) + (latsaky ny 5 A)" dia diso?

Ny andry voalohany dia ho feno soatoavina 7, 6, 5, 4 takina amin'ny filaharany ity. Ao amin'ny tsanganana manaraka, dia tsy maintsy mamaly ny fanontaniana hoe: "Ary latsaka ny 6?" Ny tsanganana fahatelo feno ao izany, afa-tsy izao ny valin 'ny fanontaniana hoe: "Ary latsaka ny 5?"

Isika no mamaritra ny filaharan'ireo asa. Tadidio fa ny fandàvana no laharam-pahamehana ny disjunction. Noho izany, ny manaraka isika tsangana mameno ny toetra tsara izay mifanaraka amin'ny toe-javatra dia tsy (A latsaky ny 6). Ny fahefatra dia hamaly ny fanontaniana lehibe ny olana. Ireto ambany ireto hitanao ohatra amin'ny famenoana ny latabatra.

Mariho tsara fa manana isa ny valinteny, mandainga maneho hevitra dia zava-dehibe ny A = 5, ity no fahatelo dikan-tenin'ny valiny.