ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

ЛогичСскиС ΠΈ элСмСнтныС базисы

Π Π΅Ρ„Π΅Ρ€Π°Ρ‚ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

ΠŸΡ€Π°Π²ΠΈΠ»Π° записи Π² Π±Π°Π·ΠΈΡΠ΅ И-НЕ: минимизированная Π² Π±Π°Π·ΠΈΡΠ΅ И, Π˜Π›Π˜, НЕ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠ°Ρ функция Y ΠΏΡ€Π΅Π΄ΡΡ‚авляСтся Π² Π²ΠΈΠ΄Π΅ логичСской суммы ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ Π ΠΊ Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (ΠœΠ”ΠΠ€), послС Ρ‡Π΅Π³ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° (3.15): ΠŸΡ€Π°Π²ΠΈΠ»Π° записи Π² Π±Π°Π·ΠΈΡΠ΅ Π˜Π›Π˜-HE: минимизированная Π² Π±Π°Π·ΠΈΡΠ΅ И, Π˜Π›Π˜, НЕ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡ Y ΠΏΡ€Π΅Π΄ΡΡ‚авляСтся Π² Π²ΠΈΠ΄Π΅ логичСского произвСдСния сумм Sk Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (ΠœΠ”ΠΠ€), Π·Π°Ρ‚Π΅ΠΌ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π°… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ЛогичСскиС ΠΈ элСмСнтныС базисы (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠŸΠΎΠ½ΡΡ‚ΠΈΠ΅ базиса

Набор логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰ΠΈΠΉ аналитичСски ΠΎΠΏΠΈΡΠ°Ρ‚ΡŒ Π»ΡŽΠ±ΡƒΡŽ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ, называСтся Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎ ΠΏΠΎΠ»Π½Ρ‹ΠΌ Π½Π°Π±ΠΎΡ€ΠΎΠΌ ΠΈΠ»ΠΈ логичСским базисом. Π’Π°ΠΊΠΎΠΉ Π½Π°Π±ΠΎΡ€ ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ основныС логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜Π›Π˜, И, НЕ, поэтому ΠΎΠ½ ΡΠ²Π»ΡΠ΅Ρ‚ся ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ· Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠΈΡ… базисов. ЛогичСский базис называСтся ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ, Ссли ΡƒΠ΄Π°Π»Π΅Π½ΠΈΠ΅ ΠΈΠ· Π½Π°Π±ΠΎΡ€Π° хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΏΡ€Π΅Π²Ρ€Π°Ρ‰Π°Π΅Ρ‚ Π΅Π³ΠΎ Π² Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎ Π½Π΅ΠΏΠΎΠ»Π½Ρ‹ΠΉ. ЛогичСский базис НЕ, Π˜Π›Π˜, И Π½Π΅ ΡΠ²Π»ΡΠ΅Ρ‚ся ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π½Π° ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΠΈ Π·Π°ΠΊΠΎΠ½ΠΎΠ² двойствСнности ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΊΠ»ΡŽΡ‡ΠΈΡ‚ΡŒ ΠΈΠ· Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠΈΡ… Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ Π˜Π›Π˜ Π»ΠΈΠ±ΠΎ И, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, ΠΎΠ½ ΡΠ²Π»ΡΠ΅Ρ‚ся ΠΈΠ·Π±Ρ‹Ρ‚ΠΎΡ‡Π½Ρ‹ΠΌ базисом. ΠœΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ базис ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ Π΄Π²Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ НЕ, Π˜Π›Π˜ ΠΈ ΠΠ•, И. ΠŸΡ€Π°ΠΊΡ‚ΠΈΡ‡Π΅ΡΠΊΠΎΠ³ΠΎ внимания Π·Π°ΡΠ»ΡƒΠΆΠΈΠ²Π°ΡŽΡ‚ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹Π΅ базисы, ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΠ΅ собой Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½Ρƒ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ. К Π½ΠΈΠΌ относятся ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ логичСского умноТСния с ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ΠΌ (И-НЕ, ΡˆΡ‚Ρ€ΠΈΡ… Π¨Π΅Ρ„Ρ„Π΅Ρ€Π°) ΠΈ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠΎΠ³ΠΎ слоТСния с ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ΠΌ (Π˜Π›Π˜-HE, стрСлка ΠŸΠΈΡ€ΡΠ°), описаниС ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½ΠΎ Π² Ρ‚Π°Π±Π». 3.3, Π° ΡƒΡΠ»ΠΎΠ²Π½Ρ‹Π΅ графичСскиС обозначСния логичСских элСмСнтов И-НЕ, Π˜Π›Π˜-HE ΠΈΠ·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½Ρ‹ Π½Π° Ρ€ΠΈΡ. 3.11, Π°. Для подтвСрТдСния.

УсловныС графичСскиС обозначСния элСмСнтов И-НЕ ΠΈ Π˜Π›Π˜-HE (Π°) ΠΈ рСализация с ΠΈΡ… ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ основных ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ (Π±, Π², Π³).

Рис. 3.11. УсловныС графичСскиС обозначСния элСмСнтов И-НЕ ΠΈ Π˜Π›Π˜-HE (Π°) ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΡ с ΠΈΡ… ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ основных ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ (Π±, Π², Π³)

Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠΉ ΠΏΠΎΠ»Π½ΠΎΡ‚Ρ‹ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ ΠΈΠ· ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ И-НЕ, Π˜Π›Π˜-HE Π½Π° Ρ€ΠΈΡ. 3.11, Π±, Π², Π³ ΠΏΠΎΠΊΠ°Π·Π°Π½Π° рСализация основных логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ НЕ, И, Π˜Π›Π˜ с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских элСмСнтов И-НЕ ΠΈ Π˜Π›Π˜-HE (Π½ΠΈΠΆΠ½ΠΈΠΉ ряд ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π² ΠΊΡ€ΡƒΠ³Π»Ρ‹Ρ… скобках).

Набор логичСских элСмСнтов, ΠΎΠ±Π»Π°Π΄Π°ΡŽΡ‰ΠΈΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠΉ ΠΏΠΎΠ»Π½ΠΎΡ‚ΠΎΠΉ, являСтся элСмСнтным базисом. ЛогичСскиС элСмСнты И-НЕ Π»ΠΈΠ±ΠΎ Π˜Π›Π˜-HE ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‚ ΠΌΠΈΠ½ΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ элСмСнтный базис ΠΈ Π½Π°Ρ…одят ΡˆΠΈΡ€ΠΎΠΊΠΎΠ΅ ΠΏΡ€ΠΈΠΌΠ΅Π½Π΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·Π°Ρ†ΠΈΠΈ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹Ρ… устройств.

Π—Π°ΠΏΠΈΡΡŒ логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Π² Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΠ΅ΠΌΡ‹Ρ… базисах

Рассмотрим ΠΏΡ€Π°Π²ΠΈΠ»Π° записи логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Π² Π±Π°Π·ΠΈΡΠ°Ρ… И-НЕ ΠΈ Π˜Π›Π˜-НЕ.

ΠŸΡ€Π°Π²ΠΈΠ»Π° записи Π² Π±Π°Π·ΠΈΡΠ΅ И-НЕ: минимизированная Π² Π±Π°Π·ΠΈΡΠ΅ И, Π˜Π›Π˜, НЕ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΠ°Ρ функция Y прСдставляСтся Π² Π²ΠΈΠ΄Π΅ логичСской суммы ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ Π ΠΊ Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (ΠœΠ”ΠΠ€), послС Ρ‡Π΅Π³ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° (3.15):

ЛогичСскиС ΠΈ элСмСнтныС базисы. (3.19).

ΠŸΡ€ΠΈ записи ΠΌΠΎΠ³ΡƒΡ‚ ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒΡΡ ΠΏΠΎΠ»Π΅Π·Π½Ρ‹ΠΌΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ:

ЛогичСскиС ΠΈ элСмСнтныС базисы.

ΠŸΡ€Π°Π²ΠΈΠ»Π° записи Π² Π±Π°Π·ΠΈΡΠ΅ Π˜Π›Π˜-HE: минимизированная Π² Π±Π°Π·ΠΈΡΠ΅ И, Π˜Π›Π˜, НЕ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡ Y прСдставляСтся Π² Π²ΠΈΠ΄Π΅ логичСского произвСдСния сумм Sk Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (ΠœΠ”ΠΠ€), Π·Π°Ρ‚Π΅ΠΌ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° (3.15):

ЛогичСскиС ΠΈ элСмСнтныС базисы.

ΠŸΡ€ΠΈ записи ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»Π΅Π·Π½Ρ‹ΠΌΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ:

ЛогичСскиС ΠΈ элСмСнтныС базисы.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ