Boolean simplifier

เบ›เบฐเบเบญเบšโ€‹เบกเบตโ€‹เป‚เบ„โ€‹เบชเบฐโ€‹เบ™เบฒ
เบ›เบฐเป€เบžเบ”เป€เบ™เบทเป‰เบญเบซเบฒ
เบ—เบธเบเบ„เบปเบ™
10ย เบžเบฑเบ™+
เบ”เบฒเบงเป‚เบซเบผเบ”
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป
เบฎเบนเบšเปœเป‰เบฒเบˆเป

เบเปˆเบฝเบงเบเบฑเบšเปเบญเบฑเบšเบ™เบตเป‰

เบ™เบตเป‰เปเบกเปˆเบ™เปเบญเบฑเบšเป€เบšเบดเปˆเบ‡เป€เบงเบฑเบšเบ‚เบญเบ‡ "https://www.boolean-algebra.com"
Boolean Postulate, เบ„เบธเบ™เบชเบปเบกเบšเบฑเบ”, เปเบฅเบฐเบ—เบดเบ”เบชเบฐเบ”เบต
postulate, เบ„เบธเบ™เบชเบปเบกเบšเบฑเบ”, เปเบฅเบฐ theorems เบ•เปเปˆเป„เบ›เบ™เบตเป‰เปเบกเปˆเบ™เบ–เบทเบเบ•เป‰เบญเบ‡เปƒเบ™ Boolean Algebra เปเบฅเบฐเบ–เบทเบเปƒเบŠเป‰เปƒเบ™เบเบฒเบ™เป€เบฎเบฑเบ”เปƒเบซเป‰เบ‡เปˆเบฒเบเบ‚เบญเบ‡เบเบฒเบ™เบชเบฐเปเบ”เบ‡เบญเบญเบ เบซเบผเบทเบŸเบฑเบ‡เบŠเบฑเบ™เบ—เบตเปˆเบกเบตเป€เบซเบ”เบœเบปเบ™:

POSTULATES เปเบกเปˆเบ™เบ„เบงเบฒเบกเบˆเบดเบ‡เบ—เบตเปˆเบ•เบปเบ™เป€เบญเบ‡เป€เบซเบฑเบ™เป„เบ”เป‰เบŠเบฑเบ”เป€เบˆเบ™.

1a: $A=1$ (เบ–เป‰เบฒ A โ‰  0) 1b: $A=0$ (เบ–เป‰เบฒ A โ‰  1)
2a: $0โˆ™0=0$ 2b: $0+0=0$
3a: $1โˆ™1=1$ 3b: $1+1=1$
4a: $1โˆ™0=0$ 4b: $1+0=1$
5a: $\overline{1}=0$ 5b: $\overline{0}=1$
เบ„เบธเบ™เบชเบปเบกเบšเบฑเบ”เบ—เบตเปˆเปƒเบŠเป‰เป„เบ”เป‰เปƒเบ™เบžเบถเบ”เบŠเบฐเบ„เบฐเบ™เบดเบ” Boolean เปเบกเปˆเบ™เบ„เป‰เบฒเบเบ„เบทเบเบฑเบ™เบเบฑเบšเบญเบฑเบ™เปƒเบ™เบžเบถเบ”เบŠเบฐเบ„เบฐเบ™เบดเบ”เบ—เบณเบกเบฐเบ”เบฒ

เบญเบฑเบ”เบ•เบฒเปเบฅเบเบ›เปˆเบฝเบ™ $Aโˆ™B=Bโˆ™A$ $A+B=B+A$
เบชเบฐเบกเบฒเบ„เบปเบก $Aโˆ™(Bโˆ™C)=(Aโˆ™B)โˆ™C$ $A+(B+C)=(A+B)+C$
เบเบฒเบ™เปเบˆเบเบขเบฒเบ $Aโˆ™(B+C)=Aโˆ™B+Aโˆ™C$ $A+(Bโˆ™C)=(A+B)โˆ™(A+C)$
TheoreMS เบ—เบตเปˆเบ–เบทเบเบเปเบฒเบ™เบปเบ”เป„เบงเป‰เปƒเบ™ Boolean Algebra เปเบกเปˆเบ™เบ”เบฑเปˆเบ‡เบ•เปเปˆเป„เบ›เบ™เบตเป‰:

1a: $Aโˆ™0=0$ 1b: $A+0=A$
2a: $Aโˆ™1=A$ 2b: $A+1=1$
3a: $Aโˆ™A=A$ 3b: $A+A=A$
4a: $Aโˆ™\overline{A}=0$ 4b: $A+\overline{A}=1$
5a: $\overline{\overline{A}}=A$ 5b: $A=\overline{\overline{A}}$
6a: $\overline{Aโˆ™B}=\overline{A}+\overline{B}$ 6b: $\overline{A+B}=\overline{A}โˆ™\overline{B}$
เป‚เบ”เบเบเบฒเบ™เบ™เบณเปƒเบŠเป‰ Boolean postulates, เบ„เบธเบ™เบชเบปเบกเบšเบฑเบ” เปเบฅเบฐ/เบซเบผเบท theorems เบžเบงเบเป€เบฎเบปเบฒเบชเบฒเบกเบฒเบ”เป€เบฎเบฑเบ”เปƒเบซเป‰เบเบฒเบ™เบชเบฐเปเบ”เบ‡เบญเบญเบเบ‚เบญเบ‡ Boolean เบกเบตเบ„เบงเบฒเบกเบŠเบฑเบšเบŠเป‰เบญเบ™ เปเบฅเบฐเบชเป‰เบฒเบ‡เปเบœเบ™เบงเบฒเบ”เบ•เบฑเบ™เบ•เบฒเบกเป€เบซเบ”เบœเบปเบ™เบ‚เบฐเปœเบฒเบ”เบ™เป‰เบญเบเบเบงเปˆเบฒ (เบงเบปเบ‡เบˆเบญเบ™เบฅเบฒเบ„เบฒเบ–เบทเบเบเบงเปˆเบฒ).

เบ•เบปเบงเบขเปˆเบฒเบ‡, เป€เบžเบทเปˆเบญเบ‡เปˆเบฒเบ $AB(A+C)$ เบžเบงเบเป€เบฎเบปเบฒเบกเบต:

เบเบปเบ”เปเบฒเบเบเบฒเบ™เปเบˆเบเบขเบฒเบ $AB(A+C)$
=$ABA+ABC$ เบเบปเบ”เปเบฒเบเบชเบฐเบชเบปเบก
=$AAB+ABC$ เบ—เบดเบ”เบชเบฐเบ”เบตเบšเบปเบ” 3a
=$AB+ABC$ เบเบปเบ”เปเบฒเบเบเบฒเบ™เปเบˆเบเบขเบฒเบ
=$AB(1+C)$ theorem 2b
=$AB1$ เบ—เบดเบ”เบชเบฐเบ”เบตเบšเบปเบ” 2a
=$AB$
เป€เบ–เบดเบ‡เปเบกเปˆเบ™เบงเปˆเบฒเบชเบดเปˆเบ‡เบ—เบตเปˆเบเปˆเบฒเบงเบกเบฒเบ‚เป‰เบฒเบ‡เป€เบ—เบดเบ‡เบ™เบตเป‰เปเบกเปˆเบ™เบ—เบฑเบ‡เบซเบกเบปเบ”เบ—เบตเปˆเบ—เปˆเบฒเบ™เบ•เป‰เบญเบ‡เบเบฒเบ™เป€เบžเบทเปˆเบญเป€เบฎเบฑเบ”เปƒเบซเป‰เบชเบปเบกเบœเบปเบ™ Boolean เบ‡เปˆเบฒเบเบ”เบฒเบ. เบ—เปˆเบฒเบ™โ€‹เบชเบฒโ€‹เบกเบฒเบ”โ€‹เบ™เปเบฒโ€‹เปƒเบŠเป‰โ€‹เบเบฒเบ™โ€‹เบ‚เบฐโ€‹เบซเบเบฒเบโ€‹เบ‚เบญเบ‡ theorems / เบเบปเบ”โ€‹เบซเบกเบฒเบโ€‹เป€เบžเบทเปˆเบญโ€‹เป€เบฎเบฑเบ”โ€‹เปƒเบซเป‰โ€‹เบกเบฑเบ™โ€‹เบ‡เปˆเบฒเบโ€‹เบ‚เบถเป‰เบ™โ€‹เป€เบžเบทเปˆเบญโ€‹เป€เบฎเบฑเบ”โ€‹เปƒเบซเป‰โ€‹เบ‡เปˆเบฒเบโ€‹เบ‚เบถเป‰เบ™โ€‹. เบ•เปเปˆเป„เบ›เบ™เบตเป‰เบˆเบฐเบซเบผเบธเบ”เบœเปˆเบญเบ™เบˆเปเบฒเบ™เบงเบ™เบ‚เบฑเป‰เบ™เบ•เบญเบ™เบ—เบตเปˆเบ•เป‰เบญเบ‡เบเบฒเบ™เป€เบžเบทเปˆเบญเป€เบฎเบฑเบ”เปƒเบซเป‰เบ‡เปˆเบฒเบเปเบ•เปˆเบˆเบฐเบกเบตเบ„เบงเบฒเบกเบซเบเบธเป‰เบ‡เบเบฒเบเบซเบผเบฒเบเปƒเบ™เบเบฒเบ™เบเปเบฒเบ™เบปเบ”.

7a: $Aโˆ™(A+B)=A$ 7b: $A+Aโˆ™B=A$
8a: $(A+B)โˆ™(A+\overline{B})=A$ 8b: $Aโˆ™B+Aโˆ™\overline{B}=A$
9a: $(A+\overline{B})โˆ™B=Aโˆ™B$ 9b: $Aโˆ™\overline{B}+B=A+B$
10: $AโŠ•B=\overline{A}โˆ™B+Aโˆ™\overline{B}$
11: $AโŠ™B=\overline{A}โˆ™\overline{B}+Aโˆ™B$
โŠ• = XOR, โŠ™ = XNOR
เปƒเบ™เบ›เบฑเบ”เบˆเบธเบšเบฑเบ™เบเบฒเบ™เบ™เปเบฒเปƒเบŠเป‰เบ—เบดเบ”เบชเบฐเบ”เบต / เบเบปเบ”เบซเบกเบฒเบเปƒเบซเบกเปˆเป€เบซเบผเบปเปˆเบฒเบ™เบตเป‰เบžเบงเบเป€เบฎเบปเบฒเบชเบฒเบกเบฒเบ”เป€เบฎเบฑเบ”เปƒเบซเป‰เบเบฒเบ™เบชเบฐเปเบ”เบ‡เบญเบญเบเบ—เบตเปˆเบœเปˆเบฒเบ™เบกเบฒเบ‡เปˆเบฒเบเป€เบŠเบฑเปˆเบ™เบ™เบตเป‰.

เป€เบžเบทเปˆเบญเบ‡เปˆเบฒเบ $AB(A+C)$ เบžเบงเบเป€เบฎเบปเบฒเบกเบต:

เบเบปเบ”เปเบฒเบเบเบฒเบ™เปเบˆเบเบขเบฒเบ $AB(A+C)$
=$ABA+ABC$ เบเบปเบ”เปเบฒเบเบชเบฐเบชเบปเบก
=$AAB+ABC$ เบ—เบดเบ”เบชเบฐเบ”เบตเบšเบปเบ” 3a
=$AB+ABC$ เบ—เบดเบ”เบชเบฐเบ”เบตเบšเบปเบ” 7b
เบญเบฑเบšเป€เบ”เบ”เปเบฅเป‰เบงเป€เบกเบทเปˆเบญ
4 เบž.เบˆ. 2021

เบ„เบงเบฒเบกเบ›เบญเบ”เป„เบžเบ‚เบญเบ‡เบ‚เปเป‰เบกเบนเบ™

เบ„เบงเบฒเบกเบ›เบญเบ”เป„เบžเป€เบฅเบตเปˆเบกเบ”เป‰เบงเบเบเบฒเบ™เป€เบ‚เบปเป‰เบฒเปƒเบˆเบงเปˆเบฒเบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเป€เบเบฑเบšเบเบณ เปเบฅเบฐ เปเบšเปˆเบ‡เบ›เบฑเบ™เบ‚เปเป‰เบกเบนเบ™เบ‚เบญเบ‡เบ—เปˆเบฒเบ™เปเบ™เบงเปƒเบ”. เบงเบดเบ—เบตเบ›เบฐเบ•เบดเบšเบฑเบ”เบเปˆเบฝเบงเบเบฑเบšเบ„เบงเบฒเบกเป€เบ›เบฑเบ™เบชเปˆเบงเบ™เบ•เบปเบง เปเบฅเบฐ เบ„เบงเบฒเบกเบ›เบญเบ”เป„เบžเบ‚เบญเบ‡เบ‚เปเป‰เบกเบนเบ™เบญเบฒเบ”เบˆเบฐเปเบ•เบเบ•เปˆเบฒเบ‡เบเบฑเบ™เบญเบตเบ‡เบ•เบฒเบกเบเบฒเบ™เบ™เบณเปƒเบŠเป‰, เบžเบฒเบเบžเบทเป‰เบ™ เปเบฅเบฐ เบญเบฒเบเบธเบ‚เบญเบ‡เบ—เปˆเบฒเบ™. เบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเปƒเบซเป‰เบ‚เปเป‰เบกเบนเบ™เบ™เบตเป‰ เปเบฅเบฐ เบญเบฒเบ”เบˆเบฐเบญเบฑเบšเป€เบ”เบ”เบกเบฑเบ™เป€เบกเบทเปˆเบญเป€เบงเบฅเบฒเบœเปˆเบฒเบ™เป„เบ›.
เบšเปเปˆเป„เบ”เป‰เป„เบ”เป‰เปเบšเปˆเบ‡เบ›เบฑเบ™เบ‚เปเป‰เบกเบนเบ™เบเบฑเบšเบžเบฒเบเบชเปˆเบงเบ™เบ—เบตเบชเบฒเบก
เบชเบถเบเบชเบฒเป€เบžเบตเปˆเบกเป€เบ•เบตเบก เบเปˆเบฝเบงเบเบฑเบšเบงเปˆเบฒเบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเบ›เบฐเบเบฒเบ”เบเบฒเบ™เปเบšเปˆเบ‡เบ›เบฑเบ™เบ‚เปเป‰เบกเบนเบ™เปเบ™เบงเปƒเบ”
เบšเปเปˆเป„เบ”เป‰เป€เบเบฑเบšเบเบณเบ‚เปเป‰เบกเบนเบ™
เบชเบถเบเบชเบฒเป€เบžเบตเปˆเบกเป€เบ•เบตเบก เบเปˆเบฝเบงเบเบฑเบšเบงเปˆเบฒเบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเบ›เบฐเบเบฒเบ”เบเบฒเบ™เป€เบเบฑเบšเบเบณเบ‚เปเป‰เบกเบนเบ™เปเบ™เบงเปƒเบ”

เบกเบตเบซเบเบฑเบ‡เปƒเปเปˆ

Frist Release

เบเปˆเบฒเบเบŠเปˆเบงเบเป€เบซเบผเบทเบญเบ‚เบญเบ‡เปเบญเบฑเบš

เป€เบšเบตเป‚เบ—เบฅเบฐเบชเบฑเบš
+94701675563
เบเปˆเบฝเบงเบเบฑเบšเบ™เบฑเบเบžเบฑเบ”เบ—เบฐเบ™เบฒเปเบญเบฑเบš
Uththama wadu Sajith Tiyenshan
stiyenshan@gmail.com
419/1 rajakanda polpithigama Kurunegala 60620 Sri Lanka

เป€เบžเบตเปˆเบกเป€เบ•เบตเบกเปเบเบเบ•เบฒเบก sajith tiyenshan