Теоремы алгебры логики Свойства констант icon

Теоремы алгебры логики Свойства констант



НазваниеТеоремы алгебры логики Свойства констант
Дата конвертации23.09.2012
Размер444 b.
ТипЗадача


Теоремы алгебры логики

  • Свойства констант:

  • _ _

  • 1. 0 =1, 1 =0.

  • 2. Х+0=Х, Х1=Х

  • 3. Х+1=1, Х0=0

  • Законы идемпотентности:

  • 4. Х+Х=Х , ХХ=Х

  • Законы исключения третьего и вторая форма закона непротиворечия:

  • _ _

  • 5. Х+Х=1, ХХ =0.


Закон двойного отрицания:

  • Закон двойного отрицания:

  • =

  • 6.Х=Х.

  • Законы коммутативности:

  • 7. Х+Y=Y+X, XY=YX.

  • Законы поглощения:

  • 8. X+XY=X, X(X+Y)=X

  • _ _

  • 9. X+XY=X+Y , X(X+Y)=XY.



Законы де Моргана:

  • Законы де Моргана:

  • ____ _ _ __ _ _

  • 10. (X+Y)=XY, XY=X+Y.

  • Законы ассоциативности:

  • 11. (X+Y)+Z=X+(Y+Z)=X+Y+Z,

  • (XY)Z= X(YZ)= XYZ

  • Законы дистрибутивности:

  • 12. X+YZ=(X+Y)(X+Z), X(Y+Z)= XY+ XZ.



Упрощение функций и построение таблиц истинности.

  • В задачах данного раздела требуется упростить логическую функцию F(X1,X2,X3) и построить таблицу истинности. В решениях в фигурных скобках указаны номера теорем, которые применяются для упрощения выражений.



Задача 1



Строим таблицу истинности для полученного выражения F(X1,X2,X3)= X1X2X3



Задача 2



Строим таблицу истинности для полученного выражения F(X1,X2,X3)= X1+X2+X3



Самостоятельно:

  • F(X1,X2,X3)=X1+X3+X1X2

  • 2) F(X1,X2,X3)=X1+X2(X1+X3X2)

  • Дома:

  • F(X1,X2,X3)=X1+X2+X3(X1+X3)

  • Выучить наизусть теоремы алгебры логики


jpg" alt="">




Похожие:

Теоремы алгебры логики Свойства констант iconТема урока: «Основы логики. Алгебра высказываний»
Цель урока: обучающая Познакомить учащихся с основными понятиями логики, алгебры высказываний, с основными законами логики при упрощении...
Теоремы алгебры логики Свойства констант iconТема урока: «Основы логики. Алгебра высказываний»
Цель урока: обучающая Познакомить учащихся с основными понятиями логики, алгебры высказываний, с основными законами логики при упрощении...
Теоремы алгебры логики Свойства констант iconЗаконы алгебры логики
Из двух противоречивых высказываний об одном и том же предмете одно высказывание истинно, а второе – ложно, третье не дано
Теоремы алгебры логики Свойства констант iconI. Решение логических задач средствами алгебры логики
Пример Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок
Теоремы алгебры логики Свойства констант iconАлгебра логики. Основные понятия. Область применения алгебры- логики. Логические функции. Таблицы истинности
Логика (гр logos — мысль, слово, речь, разум) — это наука о законах и формах мышления, направленная на познание объективного мира....
Теоремы алгебры логики Свойства констант iconРешение задачи с помощью алгебры логики
Алеша, Боря и Гриша нашли в земле сосуд. Рассматривая удивительную находку, каждый высказал по два предположения
Теоремы алгебры логики Свойства констант iconЭлементы логики Объем и содержание понятия
Назовите несущественные свойства.(отсутствие которых не влияет на существование объекта)
Теоремы алгебры логики Свойства констант iconОсновные законы логики
Для того, чтобы использовать какие-либо законы в практике, необходимо быть уверенным в их правильности. Доказать закон алгебры высказываний...
Теоремы алгебры логики Свойства констант icon5. 11. Как упростить логическую формулу?
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для...
Теоремы алгебры логики Свойства констант iconТема урока: «Сумма углов треугольника»
Цель урока: доказательство теоремы о сумме углов треугольника с применением ранее изученного материала; применение теоремы для нахождения...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов