Π‘Π°ΠΊΠ°Π»Π°Π²Ρ€
Π”ΠΈΠΏΠ»ΠΎΠΌΠ½Ρ‹Π΅ ΠΈ курсовыС Π½Π° Π·Π°ΠΊΠ°Π·

ΠœΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°. 
Π”ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ° Π­ΠΉΠ»Π΅Ρ€Π°-Π’Π΅Π½Π½Π°. 
Бвойства логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΄Π²ΡƒΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…

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

Упростив Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ Π΄Π²ΡƒΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ Π΅Π΅ ΡΠ°ΠΌΠΎΠ΄Π²ΠΎΠΉΡΡ‚Π²Π΅Π½Π½ΠΎΡΡ‚ΡŒ, ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΡΡ‚ΡŒ ΠΈ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΡΡ‚ΡŒ. ΠžΡ‚Π²Π΅Ρ‚ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Ρ‚ΡŒ. Алгоритм построСния ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π° ΠΏΠΎ Π‘ДНЀ (основан Π½Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ ΠΎ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Π½ΠΈΠΈ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°). ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ, Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ Π»ΠΈ для Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ свойства симмСтричности ΠΈ Ρ€Π΅Ρ„лСксивности. ΠžΡ‚Π²Π΅Ρ‚ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Ρ‚ΡŒ. На Π²Π΅Ρ€ΡˆΠΈΠ½Ρƒ Π³ΠΎΡ€Ρ‹ Π²Π΅Π΄ΡƒΡ‚ Π΄Π΅Π²ΡΡ‚ΡŒ Π΄ΠΎΡ€ΠΎΠ³. Бколькими… Π§ΠΈΡ‚Π°Ρ‚ΡŒ Π΅Ρ‰Ρ‘ >

ΠœΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°. Π”ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ° Π­ΠΉΠ»Π΅Ρ€Π°-Π’Π΅Π½Π½Π°. Бвойства логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΄Π²ΡƒΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (Ρ€Π΅Ρ„Π΅Ρ€Π°Ρ‚, курсовая, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ)

ΠšΠΎΠ½Ρ‚Ρ€ΠΎΠ»ΡŒΠ½Π°Ρ Ρ€Π°Π±ΠΎΡ‚Π° Дисциплина: ДискрСтная ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°

1. ΠœΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°. НахоТдСниС ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½Π° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π° ΠΏΠΎ Π‘ДНЀ (с ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ) Полином Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π° — сумма ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 2, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ слагаСмоС прСдставляСт собой

Β· ΠšΠΎΠ½ΡΡ‚Π°Π½Ρ‚Ρƒ

Β· ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΡƒΡŽ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΡƒΡŽ

Β· ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ….

Алгоритм построСния ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π° ΠΏΠΎ Π‘ДНЀ (основан Π½Π° Π΄ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²Π΅ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ ΠΎ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Π½ΠΈΠΈ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°).

Начало. Π—Π°Π΄Π°Π½Π° ΡΠΎΠ²Π΅Ρ€ΡˆΠ΅Π½Π½Π°Ρ ДНЀ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ f (x1, …, xn).

Π¨Π°Π³ 1. ЗамСняСм ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ символ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ Π½Π° ΡΠΈΠΌΠ²ΠΎΠ» суммы ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 2.

Π¨Π°Π³ 2. ЗамСняСм ΠΊΠ°ΠΆΠ΄ΡƒΡŽ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΡƒΡŽ с ΠΈΠ½Π²Π΅Ρ€ΡΠΈΠ΅ΠΉ x Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½ΠΎΠΉ Ρ„ΠΎΡ€ΠΌΡƒΠ»ΠΎΠΉ x 1.

Π¨Π°Π³ 3. РаскрываСм скобки.

Π¨Π°Π³ 4. Π’Ρ‹Ρ‡Π΅Ρ€ΠΊΠΈΠ²Π°Π΅ΠΌ ΠΈΠ· Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ ΠΏΠ°Ρ€Ρ‹ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Ρ… слагаСмых.

ΠšΠΎΠ½Π΅Ρ†. ΠŸΠΎΠ»ΡƒΡ‡Π΅Π½ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌ Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π° Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ f (x1, …, xn).

Π‘ΡƒΠΌΠΌΠ° ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Π΄Π²Π° ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½Π° Ρ‡Π΅Ρ€Π΅Π· Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡŽ, ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡŽ ΠΈ ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅: ABAB, ΠΎΡ‚ΠΊΡƒΠ΄Π° A1=

ΠΌΠ½ΠΎΠ³ΠΎΡ‡Π»Π΅Π½ ΠΆΠ΅Π³Π°Π»ΠΊΠΈΠ½ логичСский мноТСство

2. Π—Π°Π΄Π°Π½Ρ‹ ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ΅ мноТСство U ΠΈ Ρ‚Ρ€ΠΈ Π΅Π³ΠΎ подмноТСства A, B, C.

ΠŸΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ (Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ ΠΈΠ»ΠΈ ΠΎΠΏΡ€ΠΎΠ²Π΅Ρ€Π³Π½ΡƒΡ‚ΡŒ) ΡΠΏΡ€Π°Π²Π΅Π΄Π»ΠΈΠ²ΠΎΡΡ‚ΡŒ ΡΠΎΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ:

РСшСниС:

ΠŸΠΎΡΡ‚Ρ€ΠΎΠΈΠΌ Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΡƒ Π­ΠΉΠ»Π΅Ρ€Π°-Π’Π΅Π½Π½Π°, ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΠ² ΡƒΠ½ΠΈΠ²Π΅Ρ€ΡΠ°Π»ΡŒΠ½ΠΎΠ΅ мноТСство ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊΠΎΠΌ, Π° ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π° ΠΊΡ€ΡƒΠ³Π°ΠΌΠΈ. ΠžΡ‚ΠΌΠ΅Ρ‚ΠΈΠΌ Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²ΠΊΠΎΠΉ Π΄ΠΎΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΊ ΠΏΠ΅Ρ€Π΅ΡΠ΅Ρ‡Π΅Π½ΠΈΡŽ A, B, C.

Π’Π΅ΠΏΠ΅Ρ€ΡŒ ΠΈΠ·ΠΎΠ±Ρ€Π°Π·ΠΈΠΌ Π½Π° Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ΅ ΡˆΡ‚Ρ€ΠΈΡ…ΠΎΠ²ΠΊΠΎΠΉ дополнСния ΠΊ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ ΠΈΠ· ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²:

ΠŸΠΎΡΡ‚Ρ€ΠΎΠΈΠΌ ΠΈΡ… ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ:

ПослСдняя Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌ совпадаСт с Π΄ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠΎΠΉ мноТСства, поэтому, Ρ‡Ρ‚ΠΎ ΠΈ Ρ‚Ρ€Π΅Π±ΠΎΠ²Π°Π»ΠΎΡΡŒ Π΄ΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ.

3. Π—Π°Π΄Π°Π½ΠΎ Π±ΠΈΠ½Π°Ρ€Π½ΠΎΠ΅ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅

Π³Π΄Π΅ .

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ, Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ Π»ΠΈ для Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ свойства симмСтричности ΠΈ Ρ€Π΅Ρ„лСксивности. ΠžΡ‚Π²Π΅Ρ‚ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Ρ‚ΡŒ.

Π Π΅Ρ„Π»Π΅ΠΊΡΠΈΠ²Π½ΠΎΡΡ‚ΡŒ. Π­Ρ‚ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ рСфлСксивно, Ρ‚.ΠΊ. для, А Π²Ρ‹ΠΏΠΎΠ»Π½ΡΠ΅Ρ‚ся x+x Ρ‡Π΅Ρ‚Π½ΠΎ.

Π‘ΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΠΎΡΡ‚ΡŒ. Π­Ρ‚ΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ симмСтричноС Π½Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡ‚Π²Π΅ А, Ρ‚. ΠΊ (x +y)-Ρ‡Π΅Ρ‚Π½ΠΎ => (y+x)-Ρ‡Π΅Ρ‚Π½ΠΎ.

4. Упростив Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ Π΄Π²ΡƒΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ Π΅Π΅ ΡΠ°ΠΌΠΎΠ΄Π²ΠΎΠΉΡΡ‚Π²Π΅Π½Π½ΠΎΡΡ‚ΡŒ, ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½ΠΎΡΡ‚ΡŒ ΠΈ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΡΡ‚ΡŒ. ΠžΡ‚Π²Π΅Ρ‚ ΠΎΠ±ΠΎΡΠ½ΠΎΠ²Π°Ρ‚ΡŒ.

РСшСниС:

Ѐункция линСйная, Ρ‚.ΠΊ. прСдставима Π² Π²ΠΈΠ΄Π΅ Π»ΠΈΠ½Π΅ΠΉΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠ° Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°:

Ѐункция Π½Π΅ ΠΌΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½Π°, Ρ‚.ΠΊ. ΠΈΠΌΠ΅ΡŽΡ‚ΡΡ Π½Π°Π±ΠΎΡ€Ρ‹ (10)<(11), ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… f (10)>f (11)

Ѐункция самодвойствСнна, Ρ‚.ΠΊ. Π½Π° Π²ΡΠ΅Ρ… Π½Π°Π±ΠΎΡ€Π°Ρ… выполняСтся условиС

5. На Π²Π΅Ρ€ΡˆΠΈΠ½Ρƒ Π³ΠΎΡ€Ρ‹ Π²Π΅Π΄ΡƒΡ‚ Π΄Π΅Π²ΡΡ‚ΡŒ Π΄ΠΎΡ€ΠΎΠ³. Бколькими Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹ΠΌΠΈ способами ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΠ΄Π½ΡΡ‚ΡŒΡΡ Π½Π° Π³ΠΎΡ€Ρƒ ΠΈ ΡΠΏΡƒΡΡ‚ΠΈΡ‚ΡŒΡΡ?

РСшСниС:

По ΡƒΡΠ»ΠΎΠ²ΠΈΡŽ Π·Π°Π΄Π°Ρ‡ΠΈ, нас интСрСсуСт Π²Ρ‹Π±ΠΎΡ€ΠΊΠ° ΠΈΠ· 9 элСмСнтов 2 элСмСнтов, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π²Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌΡ‹Π΅ элСмСнты Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π°ΡŽΡ‚ΡΡ Π² ΠΈΡΡ…ΠΎΠ΄Π½ΠΎΠ΅ мноТСство (ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π°Ρ‚ΡŒΡΡ Ρ‚Π΅ΠΌΠΈ ΠΆΠ΅ Π΄ΠΎΡ€ΠΎΠ³Π°ΠΌΠΈ), Π° ΠΏΠΎΡ€ΡΠ΄ΠΎΠΊ Π²Ρ‹Π±ΠΎΡ€Π° элСмСнтов Π½Π΅ Π²Π°ΠΆΠ΅Π½:

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