Назад

teng kuchli formulalar. aynan chin aynan yolg'on va bajariluvchi formulalar. asosiy teng kuchliliklar

DOCX 14 стр. 102,3 КБ Бесплатная загрузка

Предварительный просмотр (5 стр.)

Прокрутите вниз 👇
1 / 14
mavzu: teng kuchli formulalar. aynan chin aynan yolg'on va bajariluvchi formulalar. asosiy teng kuchliliklar reja: 1. ikki o`zgaruvchi mulohazalar soni. 2. teng kuchlimas formulalar soni. 3. formulaning chinlik toplami. 4. asosiy teng kuchliliklar. 5. aynan chin,aynan yolg`on va bajalivchi formulalar. 1.ikki o`zgaruvchi mulohazalar soni. n ta elementar (1) mulohazalarning nechta o‘zaro teng kuchlimas, ya’ni har xil formulalari mavjud degan masalani qaraymiz. ikkita x va у elementar mulohazalar uchun nechta teng kuchlimas formulalar borligini aniqlaylik. х va у ning qiymatlar satri uchun: 4 ta a, в, c, d formulalardan har qaysisining qiymatlaridan bittasi “1” va uchtasi “0” dan iborat ustuni mavjud. bunday ustunlar soni 4 ta, ya’ni . undan keyin oltita formulalardan har qaysisining qiymatlari ikkita “1” va ikkita “0” dan iborat ustunni hosil qiladi. bunday ustunlar soni ga teng. ya`na to‘rtta formulalardan har qaysisining qiymatlari uchta “1” va bitta “0” dan tashkil etilgan ustunni beradi. bunday ustunlar tadir. nihoyat, е …
2 / 14
y amallari vositasi bilan malum tartibda birlashtirib hosil qilingan murakkab mulohaza formula deyiladi. masalan: [x1(x2x3)]x4; (xy)(xy) va hakazo murakkab mulohaza formulalar bo`ladi. 2-ta`rif. 1) har qanday x1,x2,….,xn mulohazalarning istalgan biri formuladir; 2) agar a va b ning har biri formula bo`lsa, u holda (ab), (a b), (a b), (ab) va ham formuladir; 3) 1 va 2- bandlarda ko`rsatilgan ifodalardan tashqari boshqa hech qanday ifoda formula bo`la olmaydi. x1,x2,….,xn o`zgaruvchilar elementar formulalar deb ataladi. formulani f( x1,x2,….,xn ) ko`rinishda ham ifodalaymiz. har qanday formula uchun chinlik jadvalini tuzish mumkin. masalan (xy)() formulaning chinlik jadvali quyidagicha bo`ladi: x y xy y (xy) ( ) ch ch yo ch yo ch ch ch yo yo ch yo ch ch yo ch ch ch ch yo yo yo yo ch yo yo ch ch 3-ta`rif.a va b formulalar berilgan bo`lsin.(1) elementar mulohazalarning har bir qiymatlar satri uchun a va b formulalarning mos qiymatlari bir …
3 / 14
a’zi qiymatlar satrlarida “1” qiymatni ba’zilarida “0” qiymatni qabul qiladi. ta’rif. a formula “1” qiymat qabul qiluvchi elementar mulohazalarning hamma qiymatlar satrlaridan tuzilgan to‘plam a formulaning chinlik to‘plami deyiladi. oldingi mavzudan ma’lumki, elementar mulohazalarning (a) formulalaridan tasi bitta qiymatlar satrida “1” qiymatni qabul qiladi. demak, bunday har bir formula bir elementli chinlik to‘plamiga ega. xuddi shunday (a) formulalarning tasining har biri 2 elementli chinlik to‘plamiga, tasining har biri uch elementli chinlik formulasidan, ....., formula esa ta elementli chinlik to‘plamiga ega. aynan yolg‘on formulaning chinlik to‘plami esa to‘plangan iborat. mulohazalarning aynan chin formulasiga tegishli chinlik to‘plamini universal to‘plam deb olsak., shu mulohazalarning hamma formulalariga tegishli chinlik to‘plamlari ning qism to‘plamlarini tashkil etadi va u ta qism to‘plamga ega. misollar. 1. formula faqat bitta (1,0,1) qiymatlar satrida “1” qiymat qabul qiladi. shu sababli, bu formulaning chinlik to‘plami ushbu bir elementli to‘plamdir. 2. ushbu formula aynan chindir. shu sababli uning chinlik to‘plami universal …
4 / 14
amali kommutativlik va assosiyativlik xossalariga ega. (5)-(6) teng kuchliliklar esa diz`yunksiya va kon`yunksiya amallarining bir- biriga nisbatan distributivlik xossasiga ega ekanligini ko`rsatadi.bundan keyin mantiqiy ifodalarni soddalashtirish, ularda qavslarni kamaytirish maqsadida quyidagicha shartlashamiz: 1. biror mantiqiy ifoda inkor ishorasi ostida bo`lsa, uni qavssiz yozamiz, ya`ni ning o`rniga ni yoki ni yozamiz; 1. kon`yunksiya belgisi diz`yunksiya , umplikasiya va ekvivalentlik belgilariga nisbatan mustahkamroq bog`laydi deb hisoblaymiz, ya`ni o`rniga , x(yz) o`rniga xyz, (xy)(zu) o`rniga xyzu deb yozamiz; 1. diz`yunksiya belgisi implikasiya va ekvivalentlik belgilariga nisbatan mustahkamroq deb hisoblaymiz, ya`ni (xy)z o`rniga xyz va (xy)z o`rniga xyz deb yozamiz; 1. implikasiya belgisi ekvivalentlik belgisiga nisbatan mustahkamroq deb hisoblaymiz, (xy)z o`rniga xyz deb yozamiz. yuqoridagiga o`xshash quyidagi teng kuchlilarga ham ega bo`lamiz: (7) (8) (9) (10). shunday qilib, mantiq algebrasining ixtiyoriy ifodasini unga teng kuchli bo`lganshunday ifoda bilan almashtirish mumkinki, oxirgi ifodada faqat va - yoki va – belgilari qatnashadi.shunga o`xshash , barcha mantiqiy …
5 / 14
an a = b kelib chiqadi. 2- teorema. a va b formulalar teng kuchli bo`lishi uchun ab formula aynan chin (tavtologiya) bo`lishi zarur va etarli. isboti.a = b bo`lsin.bu holda ekvivalentlik ta`rifiga asosan, ab ning hamma satrlaridagi qiymatlari “ch” dan iborat, demak, ab tavtologiyani ifodalaydi. 2. ab tavtalogiya bo`lsin. u holda a b har bir satrida “ch” qiymatga ega bo`ladi.bundan esa a va b ning har bir satridagi qiymatlari bir xil, ya`ni a = b kelib chiqadi. 3- teorema. a b aynan chin bo`lishi uchun aynan chin bo`lishi zarur va etarli. 4- teorema. p formulaning istalgan a qismi o`rniga shu a bilan teng kuchli b formulani qo`yishdan hosil bo`lgan yangi q formula p formula bilan teng kuchlidir. aynan chin,aynan yolg`on va bajalivchi formulalar. 1-ta`rif. elementar mulohazalarning barcha qiymatlar satrlarida faqat chin qiymatni qabul qiluvchi formula aynan chin (doimo chin) formula yoki tavtologiya deb ataladi va j bilan belgilanadi. a formulaning …

Хотите читать дальше?

Скачайте все 14 страниц бесплатно через Telegram.

Скачать полный файл

О "teng kuchli formulalar. aynan chin aynan yolg'on va bajariluvchi formulalar. asosiy teng kuchliliklar"

mavzu: teng kuchli formulalar. aynan chin aynan yolg'on va bajariluvchi formulalar. asosiy teng kuchliliklar reja: 1. ikki o`zgaruvchi mulohazalar soni. 2. teng kuchlimas formulalar soni. 3. formulaning chinlik toplami. 4. asosiy teng kuchliliklar. 5. aynan chin,aynan yolg`on va bajalivchi formulalar. 1.ikki o`zgaruvchi mulohazalar soni. n ta elementar (1) mulohazalarning nechta o‘zaro teng kuchlimas, ya’ni har xil formulalari mavjud degan masalani qaraymiz. ikkita x va у elementar mulohazalar uchun nechta teng kuchlimas formulalar borligini aniqlaylik. х va у ning qiymatlar satri uchun: 4 ta a, в, c, d formulalardan har qaysisining qiymatlaridan bittasi “1” va uchtasi “0” dan iborat ustuni mavjud. bunday ustunlar soni 4 ta, ya’ni . undan keyin oltita formulalardan har qaysisining qiymatla...

Этот файл содержит 14 стр. в формате DOCX (102,3 КБ). Чтобы скачать "teng kuchli formulalar. aynan chin aynan yolg'on va bajariluvchi formulalar. asosiy teng kuchliliklar", нажмите кнопку Telegram слева.

Теги: teng kuchli formulalar. aynan c… DOCX 14 стр. Бесплатная загрузка Telegram

Похожие файлы

Вам также может понравиться

Показать все
asosiy teng kuchliliklar — DOC DOC
asosiy teng kuchliliklar
— 52,5 КБ