20486

Закони булевої алгебри

Доклад

Информатика, кибернетика и программирование

Конюнкцією висловлень А і В називаємо висловлення А^В буде істинним тоді і тільки тоді коли обидва висловлення істинні. Дизюнкцією висловлень А і В називаються висловлення АvВ в якій буде істина тоді і лише тоді коли істинне хоча б одне із висловлень. Імплікацією висловлень А і В називається таке висловлення АВ яке буде хибне тоді і лише тоді коли А істинне В хибне. Заперечення висловлення А називається складне висловлення А яке буде істинне тоді і лише тоді коли А хибне і хибним тоді коли а істинне.

Украинкский

2013-07-25

28 KB

10 чел.

Закони булевої алгебри.

Теорія булевої алгебри бере свій початок від класичного писання Джорджа Буля. З досліджень законів мислення, на яких засновані математичні теорія логіки і теорія ймовірності”, виданого в 1954 році. Ціль і задачі книги автор сформулював так: „В запропонованому для розгляді трактаті ми намагаємося наслідувати фундаментальні закони тих операцій, які здійснює розум під час міркування, щоб висловити їх на символьній мові обчислення і на цій основі побудувати науку логіки і її метод”. Наслідуючи такі постановки Джордж Буль здійснив на створеному алгебраїзацію такої логічної системи, яка лежить в основі класичних математичних міркувань. Таким чином виникла алгебраїчна решітка названа сьогодні алгеброю Буля або булевою алгеброю.

Булева алгебра має тісні зв’язки з багатьма важливими напрямками математичної науки. Загальнотеоретичне і прикладне значення булевої алгебри визначають тією існуючою роллю, яку вона відіграє в математичній логіці, теорії ймовірності і кібернетиці.

Прикладом булевої алгебри в алгебрі множин служить сокупність всіх підмножин деякої фіксованої непорожної множини Х, яку позначають символом Р(Х). Під булевими операціями розуміють операції об’єднання А?В, перетин А?С і доповнення Х\А. Нулем в Р(х) є порожня множина, яку позначаємо а, одиницею Х.

Розглянемо алгебру висловлень.

Під висловленнями розуміють оповідаючу пропозицію, для якої в даний момент однозначно вирішуються питання про його істинність чи хибність. В алгебрі висловлень існують знаки: v, , , , названі пропозиціональними зв’язками.

Кон’юнкцією - висловлень А і В називаємо висловлення А^В, буде істинним тоді і тільки тоді, коли обидва висловлення істинні.

Диз’юнкцією – висловлень А і В називаються висловлення АvВ , в якій буде істина тоді і лише тоді, коли істинне хоча б одне із висловлень.

Імплікацією - висловлень А і В називається таке висловлення АВ, яке буде хибне тоді і лише тоді коли А істинне В – хибне.

Заперечення висловлення А називається складне висловлення А, яке буде істинне тоді і лише тоді, коли А – хибне і хибним тоді, коли а – істинне.

Формули А і В називаються еквівалентними, якщо дві імплікації АВ і ВА тотожньо істинні. Множина всіх формул обчислення висловлень є булевою алгеброю, якщо ототожнити еквівалентні формули. Булеве доповнення при цьому визначається запереченням . Роль одиниці відіграють тотожньо – істинним висловленням.


 

А также другие работы, которые могут Вас заинтересовать

760. Система исполнительной власти. Пoнятиe и признaки иcпoлнитeльнoй влacти Рoccийcкoй Фeдeрaции 313.5 KB
  Пoнятиe и признaки иcпoлнитeльнoй влacти Рoccийcкoй Фeдeрaции. Оргaны гocудaрcтвeннoгo упрaвлeния в цeнтрe и нa мecтaх являлиcь ocнoвными cубъeктaми aдминиcтрaтивнoгo прaвa или жe нocитeлями aдминиcтрaтивнoй прaвocубъeктнocти. Мeхaнизм иcпoлнитeльнoй влacти. Cиcтeмa и cтруктурa иcпoлнитeльнoй влacти Рoccийcкoй Фeдeрaции.
761. Развитие волевых качеств личности в онтогенезе 132.5 KB
  Общее понятие воли в психологической науке. Волевые качества личности: характеристика, развитие в онтогенезе. Условия эффективного развития волевых качеств личности. Дать характеристику понятию воля, рассмотреть теории воли. Преобразование непроизвольных психических процессов в произвольные.
762. Исследование типовых комбинационных устройств дешифратор-демультиплексор 125.5 KB
  Изучение принципов функционирования классического дешифратора со входом стробирования и возможности обращения его функции для реализации мультиплексора.
763. Разработка серверной части информационной системы для сопровождения процесса видеопроката 116 KB
  Построение концептуальной модели 0-уровня. Логическая и физическая реализация Базы данных. Список клиентов пункта видеопроката. Колличество фильмов, просмотренных клиентом Х. Жанр фильма, который имеет наименьший спрос.
764. Элементы структуры контроллинга 64.5 KB
  В сферу задач контроллинга входит постановка целей предприятия, сбор и обработка информации для принятия управленческих решений. Синтез элементов учета, анализа, контроля, планирования, реализация которых обеспечивает выработку альтернативных подходов при осуществлении оперативного и стратегического управления процессом достижения конечных целей.
765. Формування педагогічної культури батьків з питань дипломатичного спілкування з дітьми 53.5 KB
  Виявити найоптимальніші умови становлення батьківського авторитету для малюка. Довести вплив родини та устрою сімейного життя на формування у дітей поваги та любові до батьків. Удосконалити досвід партнерського спілкування батьків з дитиною.
766. История развития представлений о времени и расстоянии 51 KB
  Представления о пространстве. Эволюция базовых понятий пространства. Теория пространства. Представления о времени. История развития представлений о времени. Физическая теория времени.
767. Информационная безопасность 79 KB
  Основные угрозы информационной безопасности. Аппаратно-программные средства защиты информации. Системы шифрования данных, передаваемых по сетям. Средства управления криптографическими ключами.
768. Інструментальні засоби візуального програмування 32.5 KB
  нструментальні засоби візуального програмування. Оголошення та застосування масивів для вирішення поставленої задачі.