Süni intellektin əsasları Süni intellekt nədir?

Teorem 3. dəyişənli qeyri-səlis funksiyalar strukturunda birləşməyə ayrılmayan elementlər elə literallara vurulmalıdırlar ki,simmetrik cütləri və hər dəyişənini özlərində saxlamırlar (heç olmasa bir işarədən saxlayırlar). Qeyri-səlis funksiya üçün onun ayrılmayan formasına gətirilmiş elementlər birləşməsi mövcuddur və yeganədir.Həmin formaya gətirmək üçün aşağıdakı alqoritmlərdən istifadə etmək olar.

1. 
   funksiyasını DNF-ə yazın.Bunun üçün qeyri-səlis funksiyalar üçün De Morqan cəbrinin münasibətlərindən istifadə olunur;
   
2. 
   Hər bir buraxılmış literala uyğun birləşmədə ayrılışı olmayan -dəki elementlər Ú˥ –na vurulur;
   
3. 
   Yeni münasibət yenədə DNF-ə yazılır;
   
4. 
   Udulma qaydalarından istifadə edib,başqa konyuktlardan çıxarılan konyuktlar ləğv olunur;
   
5. 
   Alınmış münasibət -in yeganə təsviridir;
   

Qeyri-səlis funksiyanın bütün qeyri-səlis ilkin implikantı və implikantlarının yaranması məsələsi aşağıdakı teoremlə həll olunur. Teorem 4. Bu müddəalar düzgündür.

1. 
   Kəsilməyə (birləşməyə) ayrılışı olmayan qeyri-səlis ilkin implikantların dizyunktları(konyunktları) onların bütün literallarıdır.
   
2. 
   Kəsilməyə (birləşməyə) ayrılışı olmayan qeyri-səlis ilkin implikantların dizyunktları(konyunktları) onların bütün literalları və buraxılmış literallara uyğun bütün konyuksiyalar Ù˥ (dizyunksiyalar Ú˥ )-dir.