120 likes | 231 Vues
This presentation is about Buls Algebra, or logical algebra.
E N D
Булева алгебра або алгебра логіки • У XIX століттіанглійський математик і логік Джордж Буль розробивїїосновніположення. • «Логіка» віддавньогрецькогоlogos, щоозначає «слово, думка, поняття, міркування, закон»
Алгебра логіки(булева алгебра) — церозділ математики, щовивчаєвисловлення, розглянуті з боку їхлогічнихзначень (істинностічихибності) і логічнихоперацій над ними. Алгебра логікидозволяєзакодувати будь-якітвердження, істинністьабохибністьякихпотрібно довести, а потімманіпулювати ними подібнозвичайним чисел в математиці.
Булева алгебра — алгебраїчнаструктура з двомабінарнимиопераціями: • («meet», «булевемноження») — узагальненнякон'юнкції, • («join», «булеведодавання») — узагальненнядиз'юнкції,
Булева алгебра - основа роботикомп'ютера • Булева алгебра розглядаєвеличини, щоприймаютьтільки два значення - 0 або 1. Значеннябулевоївеличиниможнапредставляти як хибністьабоістинність будь-якоготвердження.
Законибулевоїалгебризастосовуються в програмуванні - при написанніскладнихлогічних умов та складнихзапитів до базиданих. • Один з прикладів- застосуванняалгебрилогіки у створеннібагаторівневого меню сайту, в якомубули б відкритівсіпунктивсіхрівнів, по якомупролягає шлях до кінцевоговідкритого пункту меню. • Часто виявляється, щоспочаткупобудованийлогічнийвиразможнаспростити, використовуючиаксіоми, теореми та закониалгебрилогіки.
Операції • З такими величинами можнаробитирізніоперації - так само, як ми оперуємо з твердженнями при міркуваннях. • Основніоперації - це І, АБО, НЕ.
Приклад • Я візьму парасольку, якщо піде дощ, і друг не заїде за мною на машині. • С – «я візьму парасольку» • А – «якщо піде дощ» • В – «за мною заїде друг» • С = А і (не В)
Логічні операції • Заперечення ¬ А (NOT) • Кон'юнкція AB(AND) • Диз'юнкція A B (OR) • Еквівалентність A ↔ B (XNOR) • Імплікація A → B