Və avtomatlar nəZƏRİYYƏSİ (Məşğələ dərsləri üşün vəsait)

2.3.Minimallaşdırmanın məhdudiyyət operatorundan istifadə etməklə

Minimallaşdırmanın məhdudiyyət operatoru tərs funksiyaların qurulması üçün əlverişli vasitədir.

Məsələ. Y(x,z)= - “z-in x-ə bölunməsindən alınan tam hissə” funksiyasının minimallaşdırmanın məhdudiyyət operatorundan istifadə etməklə tərs funksiyasının qurulması

Həlli z / x = y, olarsa, onda y ⋅ x = z,

z / x < y + 1, ona görə ki, z < x(y + 1).

Minimallaşdırmanın məhdudiyyət operatorundan istifadə etməklə ilkin funksiyanı tərs kimi yazaq

Onda

Z=11,x=2 olarsa , funksiyanı hesablayaq.

y = 0: P(2, 11, 0) = 2(0+1) < 11 - "yalan",

y = 1: P(2, 11, 1) = 2(1+1) < 11 - "yalan",

. . .

y = 5: P(2, 11, 5) = 2(5+1) > 11 - "doğru”

Beləliklə, = 5.