Сабақ №4 электр тізбектерінің теориясында тұжырымдар логикасын қолдану. ӘР түрлі базистерде логикалық функцияларды көрсету

1. 
   Қандай функциялар логикалық деп аталады?
   
2. 
   Бір айнымалыдан тәуелді барлық функцияларды атаңыз.
   
3. 
   Қарапайым функция деген не?
   

Егер А – формуласының барлық айнымылылары реттелген жиынтығына жатса, онда бұл жиынтығы А формуласының айнымалылар тізімі деп аталады. Тізімдегі айнымалылардың бір бөлігі А-ға айқын кірмеуі мүмкін. Оларды жасанды айнымалы дейміз.

Егер А формуласының айнымалылар тізімінде к айнымалы болса онда 2^k– ке тең бағалар болады, демек ақикаттың кестесінде 2 – тең жол болады.

Тұжырымдарды белгілейтін әріптер, логикалық байланыстар, жақшалар логикалық тұжырым тілінің алфавиті деп аталады.

Айталық А мен В бір айнымалылар тізіміне < > тәуелді екі формула болсын. Егер олар < > тізімінің кез- келген бағасында бірдей мәндер қабылдаса оларды эквивалентті формулалар деп атайды.

Аргументтері де, өзі де 0 және 1 мәндерін қабылдайтын функциясы Буль функциясы деп аталады.

Функция аргументтерінің орнына элементар немесе басқа да функцияларды (f₁,f₂,…,f_k) қою арқылы алынған жаңа функция (F) функциясы f₁,f₂,…f_k функцияларының суперпозициясы деп аталады.
Табиғи тілде қарапайым сөйлемдерден құрама сөйлемдер құрауға арналған байланыстар рөлін формальді тілде логикалық амалдар деп аталатын логикалық (немесе пропозиционалдық) байланыстар атқарады.
Логикалық байланыстарды бульдік В = {А, Ж}, {«ақиқат», «жалған»} немесе {1, 0} жиында анықталған келесі түрдегі функция ретінде қарастырамыз: