рдпрд╣ "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