Mantiqiy algebrada soddalashtirish

Mantiqiy algebrada soddalashtirish

Raqamlar va formulalar tasodifiylikni tartibga solishga yordam beradi. Elektronika bundan mustasno va Boolean algebralari chalkash sxemalarga ega va ularning funktsiyalarini matematik tarzda tushuntiradi. Bu algebra oddiy algebraik formulalar bilan chizmasdan sxemalarni tez loyihalash uchun ishlatiladi.

Ushbu oddiy tenglamadan boshlang. A + 0 = A; Oddiy matematikada bo'lgani kabi, raqamga nol qo'shish asl raqam bilan bir xil bo'ladi. Agar siz mantiqiy nuqtai nazardan o'ylasangiz, A + 1 1 ga teng ekanligini ko'rasiz. "A" har qanday son bo'lishi mumkinligini aniqlang va uni to'ldiruvchi A ga qo'shing. U hali ham "1". Formulani (A + A ') = 1 shaklida yozing. Mantiqiy nuqtai nazardan aql-idrokingizni saqlang, A ga teng bo'lgan "A" ga qo'shilgan "A" ga qarang yoki A + A = A (quyidagi maslahatlarga qarang).
Siz quyidagi mantiqiy multiplikativ xotira identifikatsiyalari bilan tanishsiz: (0) (A) = 0, (1) (A) = A, (A) (A) = A va (A) (A ') = 0. Bu qo'shimcha mantiqiy identifikatsiyalarni qayd qiling: (A + 0) = A, (A + 1) = 1, (A + A) = A, (A + A ') = 1. Agar siz o'zgaruvchini ikki marta investitsiya qilsangiz, siz bir xil o'zgaruvchini olasiz (quyidagi maslahatlarga qarang).
(A + B) ga (B + A) tengligini kuzating. U "A" va "B" quvvatini oladigan sxemani ko'rsatadi. Ushbu kanallar qanday tashkil etilganidan qat'i nazar, natija bir xil. E'tibor bering, mantiqiy algebra oddiy algebra kabi qoidalarni ko'paytirish xususiyatiga ega. Eslatma (A) (B) (B) (A). Ushbu ikkita formulani bilasizmi: A + (B + C) = (A + B) + C, "A" marta (B) (C) = (B) (C) marta "C" (quyidagi maslahatlarga qarang).
Formulalarni dastlabki uch bosqichda saqlang, so'ngra mantiqiy algebra ifodalarini soddalashtiring. Masalan, ushbu mantiqiy ifodaning "A" omili: A + AB = A quyidagi formulani olish uchun: A (1 + B) = A. Ushbu misol uchun tenglamadagi "B" ni "A" bilan almashtiring. A har qanday o'zgaruvchi bo'lishi mumkinligi sababli, siz A (1 + A) = A olasiz. (1 + A) = 1 sababli (1 + A) "1" bilan almashtiring; siz 1A olasiz. 1A = A dan "A" ni 1A bilan almashtiring; Siz A + AB o'rniga "A" olasiz (quyidagi manbalarga qarang).
Bu (A + B) (A + C) soddalashtirish uchun mantiqiy algebra taqsimot xususiyatidan foydalanadi. Oddiy algebradagi kabi AA + AC + AB + BC olish uchun birinchi qadamingizni kengaytiring. U A = AA formulasi asosida AA dan "A" gacha bo'lgan birinchi o'zgaruvchini qamrab oladi. A + AB + AC + BC ni o'qish uchun A + AC + AB + BC guruhi. A + AC + BC ni olish uchun A = A + AB formulasidan foydalaning. A + AC A + AB bilan bir xil ekanligini bilishingiz kerak, bu "A" bilan bir xil. A + AC + BC ni A + BC bilan almashtiradi (quyida manbalarga qarang).