1-амалий машғулот. Мантиқий масалаларни ечишда мантиқий алгебра қонунларидан фойдаланиш Ишнинг мақсади

1-амалий машғулот. Мантиқий масалаларни ечишда мантиқий алгебра қонунларидан фойдаланиш

Ишнинг мақсади: Талабаларда компъютернинг ишлашининг мантиқий асослари. Мантиқий амаллар устида кўпайтириш, қўшиш, инкор, импликация ва еквалентлик устида амаллар бажариш ва схемаларини ҳосил қилиш.

Масаланинг қўйилиши:

1) Компютернинг ишлашининг мантиқий асослари. Мантиқий амалларда ишлаш хақида назарий ва амалий кўникмалар хосил қилиш;

2) берилган топширикни қуйилган иш режа асосида бажариш.
Топшириқ: Иловада берилган савол ва топшириқларни бажариш.

Иш режаси

1. 
   Мантиқий амаллар ва схемалар.
   
2. 
   Мантиқий кўпайтириш, қўшиш, инкор, импликация ва еквалентлик устида амаллар бажариш.
   

Ташкилий қисм(5 мин)
МАВЗУГА ДОИР МАШҚЛАР:(20 мин)
1-Машқ. F=А v B & А мантиқий ифоданиг мантиқий схемасини тасвирланг.

1. 
   Иккита қиймат – А ва В;
   
2. 
   Иккита мантиқий амал: 1-&, 2- v.
   

Натижаси:



2-Машқ. F=А&Вv (В v А) мантиқий ифоданиг мантиқий схемасини тасвирланг ва натижасини аниқланг.

1. 
   Иккита қиймат: А=1 ва В=0;
   
2. 
   Учта мантиқий амал: & ва иккита v; А&В v (В v А).
   

Натижаси:



3-Машқ. Мантиқий схеманинг натижасини аниқланг.

Натижаси:



4-Машқ. Қуйидаги формуланинг мантиқий схемасини тасвирланг.