Режа: Қатъиймас тўпламлар устида математик амаллар. Қатъиймас тўпламларнинг t ва s нормалари

Berilgan uzluksiz mantiq funksiyalarining sintezi.Zade қатъиймасmantiq funktsiyasi har doim o'zining argumentlaridan biri yoki inkori qiymatini oladi. Shunday qilib, қатъиймасmantiqiy funktsiyani tanlash jadvali [2] orqali ko'rsatish mumkin, unda argumentlar va inkorlarni tartibga solishning barcha variantlari ro'yxati keltirilgan va har bir variant uchun funktsiyaning qiymati ko'rsatilgan. Masalan, ikkita argumentdan iborat funktsiya jadvali qatori quyidagicha ko'rinishi mumkin: .Biroq, ixtiyoriy tanlash jadvali har doim ham қатъиймасmantiqiy funktsiyani aniqlay olmaydi.

Berilgan uzluksiz mantiq funksiyalarining sintezi.Zade қатъиймасmantiq funktsiyasi har doim o'zining argumentlaridan biri yoki inkori qiymatini oladi. Shunday qilib, қатъиймасmantiqiy funktsiyani tanlash jadvali [2] orqali ko'rsatish mumkin, unda argumentlar va inkorlarni tartibga solishning barcha variantlari ro'yxati keltirilgan va har bir variant uchun funktsiyaning qiymati ko'rsatilgan. Masalan, ikkita argumentdan iborat funktsiya jadvali qatori quyidagicha ko'rinishi mumkin: .Biroq, ixtiyoriy tanlash jadvali har doim ham қатъиймасmantiqiy funktsiyani aniqlay olmaydi.

[3] da tanlov jadvali orqali berilgan funksiya қатъиймасmantiqiy funksiya ekanligini aniqlash uchun mezon ishlab chiqilgan va kiritilgan minimal va maksimal komponentlar tushunchalari asosida oddiy sintez algoritmi taklif qilingan. қатъиймасmantiqiy funktsiya - bu minimal tarkibiy qismlarning diszyunksiyasi, bunda maksimalning tarkibiy qismi ushbu sohadagi funktsiya qiymatidan kattaroq yoki unga teng (qiymatning o'ng tomonida) joriy maydon o'zgaruvchilari konyunksiyasidir. funksiyaning tengsizlikdagi qiymati, shu jumladan funksiya qiymati). Masalan, belgilangan jadval qatori uchun minimal tarkibiy qism shaklga ega.

[3] da tanlov jadvali orqali berilgan funksiya қатъиймасmantiqiy funksiya ekanligini aniqlash uchun mezon ishlab chiqilgan va kiritilgan minimal va maksimal komponentlar tushunchalari asosida oddiy sintez algoritmi taklif qilingan. қатъиймасmantiqiy funktsiya - bu minimal tarkibiy qismlarning diszyunksiyasi, bunda maksimalning tarkibiy qismi ushbu sohadagi funktsiya qiymatidan kattaroq yoki unga teng (qiymatning o'ng tomonida) joriy maydon o'zgaruvchilari konyunksiyasidir. funksiyaning tengsizlikdagi qiymati, shu jumladan funksiya qiymati). Masalan, belgilangan jadval qatori uchun minimal tarkibiy qism shaklga ega.