Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги бухоро давлат университети

1. 
   Мулоҳазалар алгебраси функцияари. Бул функцияси.
   
2. 
   Пост теоремаси. Ноъмалум коэффициентлар усули ёрдамида Жегалкин кўпҳадига келтириш
   
3. 
   Қуйидаги формулалар эквивалентлигини текширинг
   

4. 
   Бул функциясининг чизиқлиликка текширинг((x y z)→xyz’) (x+y)z
   
5. 
   Ўрнига қўйиш қоидасини қўллаб, қуйидаги формулаларнинг исботланувчи эканлигини кўрсатинг
   

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Тенг кучлимас формулалар сони
   
2. 
   Мулоҳазалар ҳисоби, Мулоҳазалар ҳисои формулалари.
   
3. 
   Функциянинг сохта ва муҳим элементларини аниқланг
   
4. 
   Ноъмалум коэффициентлар методи ёрдамида Жегалкин кўпҳадига келтиринг
   
5. 
   Аксиомма булишини кўрсатинг
   

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Формулаларнинг чинлик тўплами
   
2. 
   Мулоҳазалар ҳисобининг аксиомалар системаси. Исботланувчи формула таърифи
   
3. 
   Функциянинг сохта ва муҳим элементларини аниқланг
   
4. 
   Бул функциясини монотонликка текширинг ((x y z)→xyz’) (x+y)z
   
5. 
   Ўрнига қўйиш ва хулоса қодаларини қўллаб, қуйидаги формулаларнинг исботланувчи эканлигини кўрсатинг
   

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Мантиқ алгебрасидаги икки тарафлама қонун
   
2. 
   Келтириб чиқариш қоидаси (Ўрнига қўйиш, хулоса чиқариш)
   
3. 
   Қуйидаги бул функция икки тарафлама функциясининг инкори билан устма-уст тушишини исботланг x'yz' xy'z (x'y' + x' + y);
   
4. 
   Жегалкин кўпҳадига келтиринг
   
5. 
   Келтириб чиқаришнинг ҳосилавий қоидаларидан фойдаланиб, қуйидаги формулаларнинг исботланувчи эканлигини исботланг
   

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Мантиқ алгебрасидаги арифметик амалллар. Жегалкин кўпҳади
   
2. 
   Келтириб чиқариш қидасининг хосилалари
   
3. 
   Қуйидаги бул функсиялари ўз-ўзига икки тарафлама эканлигини исботланг: (x → y)'(z → z) (x y)'(z → z);
   
4. 
   Жегалкин купҳадига келтириб тенг кучилигини кўрсатинг
   
5. 
   Ўрнига қўйиш қоидасини қўллаб, қуйидаги формулаларнинг исботланувчи эканлигини кўрсатинг
   

26.05.2021 йил 39-йиғилиш баённомаси билан тасдиқланган.

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Чизиқли функциялар, монотон функциялар
   
2. 
   Предикатлар мантиқи
   
3. 
   Берилган бул функсияларини ўзгарувчиси бўйича ёйилмасини топинг:
   
4. 
   Фукциялар системасини тўлиқликка текширинг
   
5. 
   Аксиомма булишини кўрсатинг
   

Фан ўқитувчиси: У.У.Умарова.

ЎЗБЕКИСТОН РЕСПУБЛИКАСИ ОЛИЙ ВА ЎРТА МАХСУС ТАЪЛИМ ВАЗИРЛИГИ БУХОРО ДАВЛАТ УНИВЕРСИТЕТИ

1. 
   Функционал ёпиқ синфлар. Тўлиқ функиялар системаси
   
2. 
   Предикатлар устида мантиқий амаллар
   
3. 
   Чинлик жадвали ёрдамида МДНШ га келтиринг
   
4. 
   Пост теоремаси ёрдамида тўлиқлигини текширинг
   
5. 
   Келтириб чиқаришнинг ҳосилавий қоидаларидан фойдаланиб, қуйидаги формулаларнинг исботланувчи эканлигини исботланг
   

Фан ўқитувчиси: У.У.Умарова.