Математика, Геометрия

Логикалық байланыстардың толық жүйелері

D1, D2, …, Dn логикалық амалдардың символдары болсын. Егер тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар D1, D2, …, Dn  амалдарының көмегімен құрылған формула бар болса, онда <D1, D2, …, Dn> жүйе толық деп аталады.

Тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар ДНФ және КНФ болғандықтан, <Ø, Ù, Ú > – толық жүйе екендігі түсінікті.

Читать полностью »

Формулаларды ақиқаттық мәндер кестесі бойынша қалпына келтіру

Есеп. А(x,y,z) формуласының ақиқаттық кестесі берілсін.

Читать полностью »

Нормал және жетілдірілген формалар

А(а1, а2, …, аn) n тұжырымның формуласын қарастырайық.

Анықтама 1. n  тұжырымның қарапайым конъюнкциясы (қарапайым дизъюнкциясы) деп тұжырымдардың немесе олардың терістеулерінің конъюнкциясын (дизъюнкциясын) айтады.

Читать полностью »

Логика алгебрасының функциялары

Жоғарыда айтылғандай, логика алгебрасы формуласының мәні бұл формулаға кіретін тұжырымдардың мәндеріне тәуелді. Сондықтан логика алгебрасының формуласы оған кіретін қарапайым тұжырымдардың функциясы болады.

Мысалы,  формуласы үш айнымалының f(x,y,z) функциясы болады. Бұл функция және оның аргументтері тек нөл немесе бір екі мәннің біреуін қабылдайды.

Читать полностью »

Формулаларды тепе-тең түрлендіру

Тепе-теңдіктерді пайдаланып, формуланы немесе оның бөлігін оған пара-пар формулаға ауыстыруға болады. Мұндай түрлендірулер тепе-тең түрлендірлер деп аталады.

Читать полностью »

Негізгі тепе-теңдіктер

Теорема 1 Келесе  тепе-теңдіктер  орындалады:

а® bºØaÚb;

a~b º (а® b)( b® a) º (ØaÚb)( aÚØb) º (ab) Ú (ØaØb)

Читать полностью »

Тұжырымдар алгебрасының пара-пар, тепе-тең ақиқат және тепе-тең жалған формулалары

Егер логика алгебрасының А және В формулалары олардың құрамына енетін қарапайым тұжырымдарының кез келген мәндерінде бірдей мән қабылдаса, онда бұл формулалар пара-пар деп аталады.

Читать полностью »

3 страниц123



1Referat.kz сайтында кез-келген тақырыпқа мәліметтер, қазақша рефераттар, курстық жұмыстар жинақталған. Барлық мәліметтер тегін. Керек мағлұматты Жүктеп (Скачать) немесе Көшіріп (Скопировать) ала аласыз.

Наш сайт — это огромная Коллекция рефератов, курсовых работ, дипломных работ. Все материалы на сайте бесплатные. Нужную работу вы можете, скачать или скопировать.
Сайт картасы