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$
3рдП: $1тИЩ1=1$ 3рдмреА: $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)$ рд╡рд┐рддрд░рдг рдХрд╛рдиреВрди
=$рдПрдмреАрдП+рдПрдмреАрд╕реА$ рд╕рдВрдЪрдпреА рдХрд╛рдиреВрди
=$рдПрдПрдмреА+рдПрдмреАрд╕реА$ рдкреНрд░рдореЗрдп 3рдП
=$AB+ABC$ рд╡рд┐рддрд░рдг рдХрд╛рдиреВрди
=$AB(1+C)$ рдкреНрд░рдореЗрдп 2b
=$AB1$ рдкреНрд░рдореЗрдп 2a
=$рдПрдмреА$
рдпрджреНрдпрдкрд┐ рдЙрдкрд░реЛрдХреНрдд рд╕рднреА рдЖрдкрдХреЛ рдмреВрд▓рд┐рдпрди рд╕рдореАрдХрд░рдг рдХреЛ рд╕рд░рд▓ рдмрдирд╛рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИред рдЖрдк рдЗрд╕реЗ рдЖрд╕рд╛рди рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдкреНрд░рдореЗрдпреЛрдВ/рдирд┐рдпрдореЛрдВ рдХреЗ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рд╕рд░рд▓ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЖрд╡рд╢реНрдпрдХ рдЪрд░рдгреЛрдВ рдХреА рдорд╛рддреНрд░рд╛ рдХреЛ рдХрдо рдХрд░ рджреЗрдЧрд╛ рд▓реЗрдХрд┐рди рдкрд╣рдЪрд╛рдирдирд╛ рдЕрдзрд┐рдХ рдХрдард┐рди рд╣реЛрдЧрд╛ред

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$
= рдПрдХреНрд╕рдУрдЖрд░, = рдПрдХреНрд╕рдПрдирдУрдЖрд░
рдЕрдм рдЗрди рдирдП рдкреНрд░рдореЗрдпреЛрдВ/рдирд┐рдпрдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рд╣рдо рдкрд┐рдЫрд▓реЗ рд╡реНрдпрдВрдЬрдХ рдХреЛ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╕рд░рд▓ рдмрдирд╛ рд╕рдХрддреЗ рд╣реИрдВред

$AB(A+C)$ рдХреЛ рд╕рд░рд▓ рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рд╣рдорд╛рд░реЗ рдкрд╛рд╕ рд╣реИ:

$AB(A+C)$ рд╡рд┐рддрд░рдг рдХрд╛рдиреВрди
=$рдПрдмреАрдП+рдПрдмреАрд╕реА$ рд╕рдВрдЪрдпреА рдХрд╛рдиреВрди
=$рдПрдПрдмреА+рдПрдмреАрд╕реА$ рдкреНрд░рдореЗрдп 3рдП
=$AB+ABC$ рдкреНрд░рдореЗрдп 7b
рдпрд╣ рдПрдХ рдРрд╕рд╛ рдРрдк рд╣реИ рдЬреЛ рдХрд╛рдиреВрди рдФрд░ Kmaps . рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдмреВрд▓рд┐рдпрди рдмреАрдЬрдЧрдгрд┐рдд рдХреЛ рд╕рд░рд▓ рдмрдирд╛ рд╕рдХрддрд╛ рд╣реИ
рдкрд┐рдЫрд▓реА рдмрд╛рд░ рдЕрдкрдбреЗрдЯ рд╣реЛрдиреЗ рдХреА рддрд╛рд░реАрдЦ
4 рдирд╡ре░ 2021

рдбреЗрдЯрд╛ рдХреА рд╕реБрд░рдХреНрд╖рд╛

рдбреЗрдЯрд╛ рд╕реБрд░рдХреНрд╖рд╛ рдХреЗ рд▓рд┐рд╣рд╛рдЬрд╝ рд╕реЗ рдпрд╣ рдЬрд╛рдирдирд╛ рдмреЗрд╣рдж рдЕрд╣рдо рд╣реИ рдХрд┐ рдбреЗрд╡рд▓рдкрд░, рдЖрдкрдХрд╛ рдбреЗрдЯрд╛ рдХреИрд╕реЗ рдЗрдХрдЯреНрдард╛ рдФрд░ рд╢реЗрдпрд░ рдХрд░рддреЗ рд╣реИрдВ. рдбреЗрдЯрд╛ рдХреЛ рдирд┐рдЬреА рдФрд░ рд╕реБрд░рдХреНрд╖рд┐рдд рд░рдЦрдиреЗ рдХреЗ рдЕрд▓рдЧ-рдЕрд▓рдЧ рддрд░реАрдХреЗ рд╣реЛ рд╕рдХрддреЗ рд╣реИрдВ. рдпреЗ рдЖрдкрдХреА рдЬрдЧрд╣, рдЙрдореНрд░, рдФрд░ рдРрдкреНрд▓рд┐рдХреЗрд╢рди рдХреЗ рдЗрд╕реНрддреЗрдорд╛рд▓ рдХреЗ рд╣рд┐рд╕рд╛рдм рд╕реЗ рддрдп рдХрд┐рдП рдЬрд╛рддреЗ рд╣реИрдВ. рдпрд╣ рдЬрд╛рдирдХрд╛рд░реА рдбреЗрд╡рд▓рдкрд░ рд╕реЗ рдорд┐рд▓реА рд╣реИ рдФрд░ рд╡рд╣ рд╕рдордп-рд╕рдордп рдкрд░ рдЗрд╕рдореЗрдВ рдЕрдкрдбреЗрдЯ рднреА рдХрд░ рд╕рдХрддрд╛ рд╣реИ.
  • рддреАрд╕рд░реЗ рдкрдХреНрд╖реЛрдВ рдХреЗ рд╕рд╛рде рдХреЛрдИ рдбреЗрдЯрд╛ рд╢реЗрдпрд░ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛
    рдбреЗрд╡рд▓рдкрд░ рдХрд┐рд╕ рддрд░рд╣ рд╕реЗ рдЖрдкрдХрд╛ рдбреЗрдЯрд╛ рд╢реЗрдпрд░ рдХрд░рддреЗ рд╣реИрдВ, рдЗрд╕ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╝реНрдпрд╛рджрд╛ рдЬрд╛рдиреЗрдВ
  • рдХреЛрдИ рдбреЗрдЯрд╛ рдЗрдХрдЯреНрдард╛ рдирд╣реАрдВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛
    рдбреЗрд╡рд▓рдкрд░ рдХрд┐рд╕ рддрд░рд╣ рд╕реЗ рдЖрдкрдХрд╛ рдбреЗрдЯрд╛ рдЗрдХрдЯреНрдард╛ рдХрд░рддреЗ рд╣реИрдВ, рдЗрд╕ рдмрд╛рд░реЗ рдореЗрдВ рдЬрд╝реНрдпрд╛рджрд╛ рдЬрд╛рдиреЗрдВ

рдЗрд╕рдореЗрдВ рдирдпрд╛ рдХреНрдпрд╛ рд╣реИ

Frist Release

рдРрдкреНрд▓рд┐рдХреЗрд╢рди рд╕реЗ рдЬреБрдбрд╝реА рд╕рд╣рд╛рдпрддрд╛

рдлрд╝реЛрди рдирдВрдмрд░
+94701675563
рдбреЗрд╡рд▓рдкрд░ рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ
Uththama wadu Sajith Tiyenshan
stiyenshan@gmail.com
419/1 rajakanda polpithigama Kurunegala 60620 Sri Lanka

sajith tiyenshan рдХреЗ рдФрд░ рдРрдкреНрд▓рд┐рдХреЗрд╢рди