An algorithm domin gina gaskiya alluna na ma'ana maganganu

Yau, a cikin wannan takarda za a tattauna a daki-daki, batun gina gaskiya tebur na ma'ana maganganu. Tare da wannan matsala sau da yawa ci karo da daliban da suka bayar da hadade jihar jarrabawa a kwamfuta kimiyya. A gaskiya, da ake kira Boolean aljabara ba hadaddun idan ka san dole dokokin, yadda ake gudanar da dokoki domin gina gaskiya Tables. Wadannan su ne tambayoyin da za mu yi a yau.

Boolean aljabara

dabaru aljabara dangane da sauki ma'ana maganganu, waxanda suke da juna ayyukan, samar da wani hadadden magana. Lura cewa Boolean aljabara qunshi biyu binary ayyukan: Bugu da kari kuma multiplication (da disjunction na tare da, bi da bi). wani unary - inversion. All sauki magana (abubuwa na wani hadadden ma'ana magana) dauki daya daga biyu dabi'u: "1" ko "0", "gaskiya" ko "ƙarya", "+" ko "-" bi da bi.

aljabara na dabaru dogara ne a kan 'yan gwada da sauki axioms:

• associativity.
• ne zabi.
• sha;
• distributivity.
• additionality.

Idan ka san wadannan dokokin da jerin ayyuka, gina gaskiya tebur na ma'ana maganganu ba zai haifar da wani matsaloli. Ka tuna cewa aiki dole ne a yi a m jerin: negation, multiplication, Bugu da kari, sakamako, daidaitawa, kawai sai fitowa ya kange Schiffer ko ma'ana kuma yadda ake gudanar. Af, na karshe ayyukan biyu ne babu dokoki na fifiko, da su aiwatar da su a cikin tsari a cikin abin da suke located.

Dokokin na jawo sama da tebur

Gina gaskiya tebur na ma'ana maganganu taimaka magance da dama ma'ana matsaloli da kuma samun mafita ga hadaddun ƙato misalai. Shi ne ya kamata a lura da cewa akwai wasu dokoki na tari.

Domin yadda ya kamata sa mai ma'ana tebur, shi wajibi ne don fara domin sanin yawan layuka. Yadda za a yi da shi? Ƙidaya yawan canji da cewa yin up wani hadadden magana, da kuma amfani da sauki dabara: A = 2 ga ikon n. Kuma - wannan shi ne adadin layuka a cikin tebur harhada by gaskiya, n - shi ne yawan canji da cewa wani bangare ne na wani hadadden ma'ana magana.

Misali: hadaddun magana ƙunshi uku canji (A, B da C), sa'an nan a bad maki dole ne a gina a cikin na uku mataki. B ne gaskiya tebur za mu yi takwas Lines. Add daya layin da take na shafi.

Next, za mu juya ga magana da kuma sanin tsari na ayyuka yi. Better domin wa kansu wani fensir lamba (daya, biyu, da sauransu).

A mataki na gaba muna lissafta yawan ayyukan. A sakamakon yawan - yawan ginshikan a cikin tebur. A tabbatar an ƙara ko da wani yawan ginshikan matsayin canji na dauke a cikin sharuddan, cika yiwu haduwa da canji.

Next, kana bukatar ka cika hula na mu tebur. A kasa za ka ga wani misali daga wannan.

Yanzu ci gaba da cika na yiwu haduwa. Domin biyu canji, su ne kamar haka: 00, 01, 10, 11. Domin uku canji: 000, 001, 010, 011, 100, 101, 110, 111.

Bayan duk muka ambata a sama abubuwa iya ci gaba da lissafi na sauran Kwayoyin kuma ciko sakamakon tebur.

misali

Mu yanzu la'akari da misalin gina wani tebur na ma'ana magana gaskiya ne: da inversion na A + B * A.

1. Count canji: 2. Yawan Lines: 4 + 1 = 5.
2. A kisa domin na ayyuka: na farko inversion, na biyu tare da, disjunction uku.
3. Yawan ginshikan: 3 + 2 = 5.
4. Samun wani burbushi kuma ciko tebur.

Matsayin mai mulkin, da aiki sauti kamar haka: "Ta yaya da yawa haduwa kosad F = 0" ko "a cikin abin da haduwa F = 1". A farkon tambaya da amsar - 1, na biyu - 00, 01, 11.

Hankali karanta aiki da aka bã ku. Za ka iya daidai magance matsalar, amma ya yi kuskure a cikin rubutu da martani. Har yanzu ina jawo hankalinka ga tsari na ayyuka:

• musu.
• multiplication.
• Bugu da kari.

aiki

Gina gaskiya tebur iya taimaka a sami amsar da wuya ma'ana matsala. Bi aiwatar da shiri na aikewa da gaskiya tebur domin da yanayin ma'ana ayyuka za ka iya a wannan sashe na labarin.

Ganin hudu dabi'u na A: 1), 7 2) 6, 3), 5, 4) 4. Ga wasu daga cikinsu da sanarwa "inversion (karami A 6) + (kasa da 5 A)" shi ne ƙarya?

Our farko shafi za a cike da dabi'u 7, 6, 5, 4 bukata a cikin wannan jerin. A na gaba shafi, dole ne mu amsa tambaya: "Kuma kasa da 6?" The uku shafi cika a cikin wannan, kawai yanzu amsar wannan tambaya: "Kuma kasa da 5?"

Mun ƙayyade da jerin ayyukan. Ka tuna cewa musu daukan ɗaukaka a disjunction. Saboda haka, na gaba shafi mu cika da dabi'u da suka dace da yanayin ba (A kasa 6). A karo na hudu za su amsa babban tambaya da mu da matsala. A kasa za ka ga wani misali na ciko da tebur.

Lura da cewa muna da lambobin da martani, da ƙarya magana ne a darajar A = 5, wannan ne karo na uku version na amsar.