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

ΠœΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΡ совокупности логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ

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

Π“ΠΈΠΌΠΈ Π²Ρ‹Ρ…ΠΎΠ΄Π°ΠΌΠΈ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰Π΅Π³ΠΎ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ логичСскиС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π£ΠΎ,…" …, Π£Π»'-ь число ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ€Π°Π²Π½ΠΎ числу N Π²Ρ‹Ρ…ΠΎΠ΄ΠΎΠ² устройства. ΠžΡΠΎΠ±Π΅Π½Π½ΠΎΡΡ‚ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ для этого случая состоят Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΌ: Число ΠΊΠ°Ρ€Ρ‚ ΠšΠ°Ρ€Π½ΠΎ Ρ€Π°Π²Π½ΠΎ числу Π²Ρ‹Ρ…ΠΎΠ΄ΠΎΠ², Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ каТдая ΠΈΠ· Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Y" минимизируСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ своСй ΠΊΠ°Ρ€Ρ‚Ρ‹; Вакая Π·Π°Π΄Π°Ρ‡Π° Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚ ΠΏΡ€ΠΈ структурном синтСзС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ устройства со ΠΌΠ½ΠΎ; Π“Π΄Π΅ Z*, — ΠΎΠ±Ρ‰ΠΈΠ΅ ΠΈΠ· Ρ‡Π»Π΅Π½ΠΎΠ²… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠœΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΡ совокупности логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

Вакая Π·Π°Π΄Π°Ρ‡Π° Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ‚ ΠΏΡ€ΠΈ структурном синтСзС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ устройства со ΠΌΠ½ΠΎ;

Π³ΠΈΠΌΠΈ Π²Ρ‹Ρ…ΠΎΠ΄Π°ΠΌΠΈ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰Π΅Π³ΠΎ Ρ€Π΅Π°Π»ΠΈΠ·ΠΎΠ²Π°Ρ‚ΡŒ логичСскиС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π£ΠΎ,…" …, Π£Π»'-ь число ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Ρ€Π°Π²Π½ΠΎ числу N Π²Ρ‹Ρ…ΠΎΠ΄ΠΎΠ² устройства. ΠžΡΠΎΠ±Π΅Π½Π½ΠΎΡΡ‚ΠΈ ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ для этого случая состоят Π² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΌ:

=> число ΠΊΠ°Ρ€Ρ‚ ΠšΠ°Ρ€Π½ΠΎ Ρ€Π°Π²Π½ΠΎ числу Π²Ρ‹Ρ…ΠΎΠ΄ΠΎΠ², Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ каТдая ΠΈΠ· Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Y" минимизируСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ своСй ΠΊΠ°Ρ€Ρ‚Ρ‹;

=> ΠΏΡ€ΠΈ Ρ€Π°Π·ΠΌΠ΅Ρ‚ΠΊΠ΅ стрСмятся ΠΊ Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π²Ρ‹Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ области Π½Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ большСм числС ΠΊΠ°Ρ€Ρ‚. КаТдая такая ΠΎΠ±Π»Π°ΡΡ‚ΡŒ ΠΏΡ€ΠΈ считывании прСдставляСтся ΠΊΠΎΠ½Ρ‚Π΅Ρ€ΠΌΠΎΠΌ ΠΈ Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΠ΅Ρ‚ся ΠΊΠ°ΠΊ логичСский элСмСнт, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ «ΠΎΠ±ΡΠ»ΡƒΠΆΠΈΠ²Π°Π΅Ρ‚» Π²Ρ‹Ρ…ΠΎΠ΄Ρ‹, относящиСся ΠΊ ΡΡ‚ΠΈΠΌ ΠΊΠ°Ρ€Ρ‚Π°ΠΌ. ΠœΠΈΠ½ΠΈΠΌΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹Π΅ логичСскиС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π·Π°ΠΏΠΈΡΡ‹Π²Π°ΡŽΡ‚ Π² Π²ΠΈΠ΄Π΅.

ΠœΠΈΠ½ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΡ совокупности логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ.

Π³Π΄Π΅ Z*, — ΠΎΠ±Ρ‰ΠΈΠ΅ ΠΈΠ· Ρ‡Π»Π΅Π½ΠΎΠ² Z1,…, Z*,…, 2Π³ Π΄Π»Ρ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Y".

ΠŸΡ€Π΅Π΄ΡΡ‚Π°Π²Π»Π΅Π½ΠΈΠ΅ ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Π½Π½Ρ‹Ρ… логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ Π² Π²ΠΈΠ΄Π΅ (13) Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΡƒΠΏΡ€ΠΎΡ‰Π°Π΅Ρ‚ схСмноС Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ ΠΎΠ±Ρ‰ΠΈΠ΅ Ρ‡Π»Π΅Π½Ρ‹ Z1, zK Ρ€Π΅Π°Π»ΠΈΠ·ΡƒΡŽΡ‚ΡΡ ΠΎΠ΄ΠΈΠ½ Ρ€Π°Π· для всСго ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΎΠ½Π½ΠΎΠ³ΠΎ устройства.

ΠŸΠΎΠ»ΡƒΡ‡Π΅Π½ΠΈΠ΅ минимальной ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎΠΉ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΠΎΠΉ Ρ„ΠΎΡ€ΠΌΡ‹ (МКНЀ) логичСских Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ.

Π’ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹ Π΄Π²Π° ΠΏΠΎΠ΄Ρ…ΠΎΠ΄Π° ΠΊ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡŽ этой Π·Π°Π΄Π°Ρ‡ΠΈ. ΠŸΠ΅Ρ€Π²Ρ‹ΠΉ ΠΈΠ· Π½ΠΈΡ… ΡƒΡ‡ΠΈΡ‚Ρ‹Π²Π°Π΅Ρ‚ Ρ‚ΠΎ ΠΎΠ±ΡΡ‚ΠΎΡΡ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ, Ρ‡Ρ‚ΠΎ пустыС ΠΊΠ»Π΅Ρ‚ΠΊΠΈ ΠΊΠ°Ρ€Ρ‚Ρ‹ ΠšΠ°Ρ€Π½ΠΎ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‚ макстСрмам, логичСскоС ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π΄Π°Π΅Ρ‚ ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½ΡƒΡŽ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΡƒΡŽ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΡƒΡŽ Ρ„ΠΎΡ€ΠΌΡƒ (БКНЀ) записи исходной Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Y. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ, объСдиняя пустыС ΠΊΠ»Π΅Ρ‚ΠΊΠΈ ΠΊΠ°Ρ€Ρ‚Ρ‹ ΠšΠ°Ρ€Π½ΠΎ ΠΏΠΎ ΠΈΠ·Π»ΠΎΠΆΠ΅Π½Π½Ρ‹ΠΌ Π²Ρ‹ΡˆΠ΅ ΠΏΡ€Π°Π²ΠΈΠ»Π°ΠΌ, ΠΌΠΎΠΆΠ½ΠΎ Π½Π°ΠΉΡ‚ΠΈ МКНЀ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Y. Π’Ρ‚ΠΎΡ€ΠΎΠΉ ΠΏΠΎΠ΄Ρ…ΠΎΠ΄ состоит Π² Ρ‚ΠΎΠΌ, Ρ‡Ρ‚ΠΎ вмСсто исходной Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Y минимизируСтся инвСрсная функция Y Π½ΠΎ ΠΈΠ·Π»ΠΎΠΆΠ΅Π½Π½ΠΎΠΉ Π²Ρ‹ΡˆΠ΅ ΠΌΠ΅Ρ‚ΠΎΠ΄ΠΈΠΊΠ΅. Π’ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΏΠΎΠ»ΡƒΡ‡Π°ΡŽΡ‚ ΠΌΠΈΠ½ΠΈΠΌΠΈΠ·ΠΈΡ€ΠΎΠ²Π°Π½Π½ΡƒΡŽ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΡƒΡŽ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½ΡƒΡŽ Ρ„ΠΎΡ€ΠΌΡƒ (ΠœΠ”ΠΠ€) инвСрсной Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ. ПослС этого с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Ρ„ΠΎΡ€ΠΌΡƒΠ» двойствСнности (Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½Π°) осущСствляСтся ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ ΠΊ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Y.

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