22.11.2011 
aslan
D1, D2, …, Dn логикалық амалдардың символдары болсын. Егер тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар D1, D2, …, Dn амалдарының көмегімен құрылған формула бар болса, онда <D1, D2, …, Dn> жүйе толық деп аталады.
Тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар ДНФ және КНФ болғандықтан, <Ø, Ù, Ú > – толық жүйе екендігі түсінікті.
22.11.2011 aslan
Есеп. А(x,y,z) формуласының ақиқаттық кестесі берілсін.
Читать полностью »
22.11.2011 aslan
А(а1, а2, …, аn) n тұжырымның формуласын қарастырайық.
Анықтама 1. n тұжырымның қарапайым конъюнкциясы (қарапайым дизъюнкциясы) деп тұжырымдардың немесе олардың терістеулерінің конъюнкциясын (дизъюнкциясын) айтады.
22.11.2011 aslan
Жоғарыда айтылғандай, логика алгебрасы формуласының мәні бұл формулаға кіретін тұжырымдардың мәндеріне тәуелді. Сондықтан логика алгебрасының формуласы оған кіретін қарапайым тұжырымдардың функциясы болады.
Мысалы, формуласы үш айнымалының f(x,y,z) функциясы болады. Бұл функция және оның аргументтері тек нөл немесе бір екі мәннің біреуін қабылдайды.
22.11.2011 aslan
Тепе-теңдіктерді пайдаланып, формуланы немесе оның бөлігін оған пара-пар формулаға ауыстыруға болады. Мұндай түрлендірулер тепе-тең түрлендірлер деп аталады.
22.11.2011 aslan
Теорема 1 Келесе тепе-теңдіктер орындалады:
а® bºØaÚb;
a~b º (а® b)( b® a) º (ØaÚb)( aÚØb) º (ab) Ú (ØaØb)
22.11.2011 aslan
Егер логика алгебрасының А және В формулалары олардың құрамына енетін қарапайым тұжырымдарының кез келген мәндерінде бірдей мән қабылдаса, онда бұл формулалар пара-пар деп аталады.
Читать полностью »
Рубрика: 