Hukum Boolean

komputer modern adhedhasar "kuna" komputer elektronik, gumantung ing postulat tartamtu minangka prinsip dhasar saka operasi. Padha disebut hukum saka aljabar logika. Disiplin kuwi pisanan wis diterangake (mesthi ora rinci minangka ing wangun saiki) dening sarjana Yunani kuna Aristoteles.

Makili cabang kapisah saka matématika sing nyinaoni kalkulus propositional, aljabar logika wis sawetara temonan uga-didadekake siji lan Serat.

Supaya luwih ngerti topik, njelasno konsep sing bakal bantuan ing mangsa kanggo ngerti hukum saka aljabar logika.

Mbok istilah utama ing disiplin sinau - statement. Iki jenis statement sing ora bisa bener lan palsu. Panjenenganipun tansah gawan ing mung siji ciri iki. Mangkono mratelakake conditionally Ditampa Nilai bebener 1 falsity - 0, a statement telpon dhewe sawetara huruf Latin: A, B, C. Ing tembung liyane, rumus A = 1 tegese rencana A bener. Perkawis bisa teka ing pirang-pirang cara. A dipikir Brief ing tumindak sing bisa nindakake karo wong-wong mau. Wigati uga sing hukum saka aljabar logika iku mokal kanggo sinau tanpa ngerti aturan.

1. disjunction loro statements - asil operasi "utawa". Iku bisa dadi salah siji palsu utawa bener. Wikipedia simbol «v».

2. magepokan. Asil kuwi tumindak setya karo loro statements, bakal dadi statement anyar bener mung yen loro statements sing asli bener. Gunakake operasi "lan" karakter "^".

3. akibat. Operasi "yen A, banjur B". Asil punika statement, palsu mung yen A bebener lan cidra B. simbol ditrapake "->".

4. padanan. Operasi «A yen lan mung yen V nalika." statement iki bener nalika loro variabel duwe Assessment padha. Gunakake simbol "<->".

Ana uga saka seri operasi, padha akibat, nanging ing artikel iki, padha ora bakal dianggep.

Saiki ayo padha nimbang ing rinci hukum dhasar saka aljabar logika:

1. negara Commutative lan Commutative sing owah-owahan ing syarat-syarat operasi Mlebu nalar saka magepokan utawa disjunction ing asil ora efek.

2. associative utawa associative. Miturut hukum iki, kemungkinan ing operasi saka magepokan lan disjunction bisa diklompokaké.

3. Ing distribusi utawa distribusi. Pet hukum iku variabel padha ing pepadhan bisa dijupuk metu saka kelompok, ora ngganti logika.

4. hukum de Morgan (bantahan utawa negation). Ing operasi negation padha karo disjunction kemungkinan input magepokan negation. The negation saka disjunction, ing siji, padha kanggo magepokan saka negation saka variabel padha.

5. Negative Double. Negation saka statement kaping pindho nyebabake statement asli, telu - ngaku kang.

6. Hukum idempotency minangka nderek kanggo Saliyane nalar: xvxvxvx = x; kanggo pingan: x ^ x ^ x ^ = x.

7. hukum non-kosokwangsul nyariosaken: loro statements, yen padha mbantah, ing wektu sing padha bener ora bisa.

8. hukum saka tengah tilar. Antarane loro statements mbantah siji - tansah bener, lan liyane - ing palsu, ana pihak.

9. panyerepan hukum bisa ditulis ing kuwi cara kanggo mlebu nalar Saliyane: XV (x ^ y) = x, kanggo pingan: x ^ (xvy) = x.

10. iketan hukum. Two conjunctions jejer bisa kanggo kelet bebarengan, mbentuk magepokan pangkat ngisor. Nalika iki global kang conjunctions asli terpaku katon. Conto kanggo Saliyane nalar:

(X ^ y) v (-x ^ y) = y.

We wis dianggep mung hukum paling umum saka aljabar logika, kang jebule uga akeh, minangka asring persamaan logis dadi dawa lan hiasan katon, kang bisa Cut dening nglamar sawetara padha karo hukum.

Minangka aturan, kanggo penak saka sarego ugå asil nggunakake tabel khusus. Kabeh wis ana angger-aljabar logika, meja kang ing umum struktur kothak persegi dowo dicet dening nyebarke saben global ing kapisah sel. Sing luwih rumus, luwih gampang iku kanggo ngrampungake karo, nggunakake meja.