Тақырып Дискреттік математиканың негіздері
9 Зертханалық жұмыс
Булева алгебрасы. Логикалық операциялары. Формулалар және олардың түрленлдіру амалдары.
Пікір – бұл ақиқаттығына байланысты кейбір пікірлер жүйесінде қарастырылатын пікір. Ол не жалған не ақиқат болуы мүмкін.
Сондықтан пікірлерді екілік объектілер ретінде қарастыруға болады , мысалы ақиқат ол 1 деп, ал жалған сөзін 0 деп санауға болады. Мысалы , егер А= 1 жазуын, А оқиғасы–ақиқат деп айтуға болады.
Пікірлердің күрделі және қарапайым түрлері болады. Қарапайым түрлері алгебралық айнымалыларға сәйкес келедi, күрделi түрлері алгебралық функциялардың аналогтерi болып табылады. Логикалық амалдар көмегімен айнымалаларды біріктіру жолы арқылы функциялар пайда болады.
Ең қарапайым логикалық операциясы Емес (Не) операциясы (басқаша оны көбінесе терістеу, толықтауыш немесе инверсия деп айтады және NOT X деп белгілейді.) Терiстеу нәтижесі аргументтің мәнiне әрдайым қарама –қарсы болады.
НЕ логикалық операциясы унарлы, демек оның бір ғана операнд болады. Оған қарағанда, ЖӘНЕ (AND ) және НЕМЕСЕ (OR ) операциялары бинарлы болып табылады, өйткенi, екi логикалық өлшемдермен әрекет етудің нәтижелерi болып болады.
Логикалық операциялары
Күрделі пікір –логикалық операторлармен (терістеу, коньюнкция, дизъюнкция, импликация және логикалық өрнектер ) байланысқан қарапайым операторлардан
құралған тұжырамадама Бұл жағдайды нақтырақ қарастырайық.
А ны терістеу операциясы деп (немесе ¬А, А емес деп айтады), А жалған болған кезде ақиқат, ал А ақиқат болған кезде жалған болады. Мысалы, А оқиғасы «Ертен қар жауады» дейтін болсақ, онда¬ А «Ертен қар жаумайды» , бір тұжырымның ақиқаттығы автоматты түрде екіншісінің жалғандығын білдіреді. Терістеу – унарлы логикалық операция. Оған НЕ (емес) конструкциясы сәйкес келеді. Осы ережені келесі кесте арқылы көрсетуге болады.
-
Достарыңызбен бөлісу: |
