Boolean simplifier

เจ‡เจธ เจตเจฟเฉฑเจš เจตเจฟเจ—เจฟเจ†เจชเจจ เจนเจจ
10ย เจนเจœเจผเจพเจฐ+
เจกเจพเจŠเจจเจฒเฉ‹เจก
เจธเจฎเฉฑเจ—เจฐเฉ€ เจฐเฉ‡เจŸเจฟเฉฐเจ—
เจนเจฐเฉ‡เจ• เจฒเจˆ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ
เจธเจ•เฉเจฐเฉ€เจจเจธเจผเจพเจŸ เจšเจฟเฉฑเจคเจฐ

เจ‡เจธ เจเจช เจฌเจพเจฐเฉ‡

เจ‡เจน "https://www.boolean-algebra.com" เจฆเจพ เจตเฉˆเฉฑเจฌ เจตเจฟเจŠ เจเจช เจนเฉˆ
เจฌเฉ‚เจฒเฉ€เจ…เจจ เจชเฉ‹เจธเจŸเฉ‚เจฒเฉ‡เจŸ, เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพ, เจ…เจคเฉ‡ เจธเจฟเจงเจพเจ‚เจค
เจจเจฟเจฎเจจเจฒเจฟเจ–เจค เจ…เจธเฉ‚เจฒ, เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพเจตเจพเจ‚, เจ…เจคเฉ‡ เจชเฉเจฐเจฎเฉ‡เจ เจฌเฉ‚เจฒเฉ€เจ…เจจ เจ…เจฒเจœเจฌเจฐเจพ เจตเจฟเฉฑเจš เจตเฉˆเจง เจนเจจ เจ…เจคเฉ‡ เจฒเจพเจœเจผเฉ€เจ•เจฒ เจธเจฎเฉ€เจ•เจฐเจจเจพเจ‚ เจœเจพเจ‚ เจซเฉฐเจ•เจธเจผเจจเจพเจ‚ เจฆเฉ‡ เจธเจฐเจฒเฉ€เจ•เจฐเจจ เจตเจฟเฉฑเจš เจตเจฐเจคเฉ‡ เจœเจพเจ‚เจฆเฉ‡ เจนเจจ:

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$
เจฌเฉ‚เจฒเฉ€เจ…เจจ เจ…เจฒเจœเจฌเจฐเฉ‡ เจตเจฟเฉฑเจš เจตเฉˆเจง เจนเฉ‹เจฃ เจตเจพเจฒเฉ€เจ†เจ‚ เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพเจตเจพเจ‚ เจ†เจฎ เจ…เจฒเจœเจฌเจฐเฉ‡ เจฆเฉ‡ เจธเจฎเจพเจจ เจนเจจ

เจ•เจฎเจฟเจŠเจŸเฉ‡เจŸเจฟเจต $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)$
เจฌเฉ‚เจฒเฉ€เจ…เจจ เจ…เจฒเจœเจฌเจฐเจพ เจตเจฟเฉฑเจš เจชเจฐเจฟเจญเจพเจธเจผเจฟเจค เจธเจฟเจงเจพเจ‚เจค เจนเฉ‡เจ เจพเจ‚ เจฆเจฟเฉฑเจคเฉ‡ เจนเจจ:

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}$
เจฌเฉ‚เจฒเฉ€เจ…เจจ เจชเฉ‹เจธเจŸเฉ‚เจฒเฉ‡เจŸเจธ, เจตเจฟเจธเจผเฉ‡เจธเจผเจคเจพเจตเจพเจ‚ เจ…เจคเฉ‡/เจœเจพเจ‚ เจธเจฟเจงเจพเจ‚เจคเจพเจ‚ เจจเฉ‚เฉฐ เจฒเจพเจ—เฉ‚ เจ•เจฐเจ•เฉ‡ เจ…เจธเฉ€เจ‚ เจ—เฉเฉฐเจเจฒเจฆเจพเจฐ เจฌเฉ‚เจฒเฉ€เจ…เจจ เจธเจฎเฉ€เจ•เจฐเจจเจพเจ‚ เจจเฉ‚เฉฐ เจธเจฐเจฒ เจฌเจฃเจพ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚ เจ…เจคเฉ‡ เจ‡เฉฑเจ• เจ›เฉ‹เจŸเจพ เจคเจฐเจ• เจฌเจฒเจพเจ• เจšเจฟเฉฑเจคเจฐ (เจ˜เฉฑเจŸ เจฎเจนเจฟเฉฐเจ—เจพ เจธเจฐเจ•เจŸ) เจฌเจฃเจพ เจธเจ•เจฆเฉ‡ เจนเจพเจ‚เฅค

เจ‰เจฆเจพเจนเจฐเจจ เจฒเจˆ, $AB(A+C)$ เจจเฉ‚เฉฐ เจธเจฐเจฒ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจธเจพเจกเฉ‡ เจ•เฉ‹เจฒ เจนเฉˆ:

$AB(A+C)$ เจตเฉฐเจกเจฃ เจตเจพเจฒเจพ เจ•เจพเจจเฉ‚เฉฐเจจ
=$ABA+ABC$ เจธเฉฐเจšเจค เจ•เจพเจจเฉ‚เฉฐเจจ
=$AAB+ABC$ เจชเฉเจฐเจฎเฉ‡เจฏ 3a
=$AB+ABC$ เจตเฉฐเจกเจฃ เจตเจพเจฒเจพ เจ•เจพเจจเฉ‚เฉฐเจจ
=$AB(1+C)$ เจชเฉเจฐเจฎเฉ‡เจฏ 2b
=$AB1$ เจชเฉเจฐเจฎเฉ‡เจฏ 2a
=$AB$
เจนเจพเจฒเจพเจ‚เจ•เจฟ เจ‰เจชเจฐเฉ‹เจ•เจค เจธเจญ เจ•เฉเจ เจนเฉˆ เจœเฉ‹ เจคเฉเจนเจพเจจเฉ‚เฉฐ เจฌเฉ‚เจฒเฉ€เจ…เจจ เจธเจฎเฉ€เจ•เจฐเจจ เจจเฉ‚เฉฐ เจธเจฐเจฒ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจฒเฉ‹เฉœเฉ€เจ‚เจฆเจพ เจนเฉˆเฅค เจคเฉเจธเฉ€เจ‚ เจ‡เจธ เจจเฉ‚เฉฐ เจธเจฐเจฒ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจชเฉเจฐเจฎเฉ‡เจฏเจพเจ‚/เจ•เจพเจจเฉ‚เฉฐเจจเจพเจ‚ เจฆเฉ‡ เจตเจฟเจธเจฅเจพเจฐ เจฆเฉ€ เจตเจฐเจคเฉ‹เจ‚ เจ•เจฐ เจธเจ•เจฆเฉ‡ เจนเฉ‹เฅค เจนเฉ‡เจ เจพเจ‚ เจฆเจฟเฉฑเจคเฉ‡ เจ•เจฆเจฎเจพเจ‚ เจจเฉ‚เฉฐ เจธเจฐเจฒ เจฌเจฃเจพเจ‰เจฃ เจฒเจˆ เจฒเฉ‹เฉœเฉ€เจ‚เจฆเฉ‡ เจ•เจฆเจฎเจพเจ‚ เจฆเฉ€ เจฎเจพเจคเจฐเจพ เจจเฉ‚เฉฐ เจ˜เจŸเจพ เจฆเฉ‡เจตเฉ‡เจ—เจพ เจชเจฐ เจชเจ›เจพเจฃเจจเจพ เจตเจงเฉ‡เจฐเฉ‡ เจฎเฉเจธเจผเจ•เจฒ เจนเฉ‹เจตเฉ‡เจ—เจพเฅค

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=\เจ“เจตเจฐเจฒเจพเจˆเจจ{A}โˆ™B+Aโˆ™\เจ“เจตเจฐเจฒเจพเจˆเจจ{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
undefined

sajith tiyenshan เจตเฉฑเจฒเฉ‹เจ‚ เจนเฉ‹เจฐ

เจฎเจฟเจฒเจฆเฉ€เจ†เจ‚-เจœเฉเจฒเจฆเฉ€เจ†เจ‚ เจเจชเจพเจ‚