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




НазваниеТеоремы алгебры логики Свойства констант
Дата конвертации01.05.2013
Размер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)

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



Похожие:

Теоремы алгебры логики Свойства констант iconАлгебра логики Основные понятия алгебры логики
К самым простым функциям относятся операции алгебры логики: сложение, умножение, инверсия
Теоремы алгебры логики Свойства констант iconЗаконы алгебры логики цели урока: Существуют ли законы логики? Каковы они? Как из достаточно сложного выражения ( a  b  c ) &
Если логическое выражение содержит большое число операций, составить ти, лог схему и т д … непросто и долго
Теоремы алгебры логики Свойства констант iconУрока: знакомство с законами алгебры логики и их использование при тождественных преобразованиях
Цель урока: знакомство с законами алгебры логики и их использование при тождественных преобразованиях
Теоремы алгебры логики Свойства констант iconЗаконы логики Законы формальной логики Законы алгебры высказываний Основные законы

Теоремы алгебры логики Свойства констант iconЗаконы алгебры логики (тождественные преобразования логических выражений) Закон идемпотентности (одинаковости): а + а = а ( a  a = a )

Теоремы алгебры логики Свойства констант iconОсновы логики и логические основы компьютера формы мышления
Логика изучает мышление как средство познания объективного мира. Законы логики отражают в сознании человека свойства, связи и отношения...
Теоремы алгебры логики Свойства констант iconБиография Пифагора. История теоремы Пифагора. Применение теоремы Пифагора на практике. Значение теоремы Пифагора. Руководитель проекта: Жирякова Ольга Алексеевна
Биография Пифагора. История теоремы Пифагора. Применение теоремы Пифагора на практике. Значение теоремы Пифагора
Теоремы алгебры логики Свойства констант iconУрок №1.(лекция беседа)
Познакомить учащихся с основными понятиями алгебры логики (логика, суждение, умозаключение); логические константы, переменные и функции;...
Теоремы алгебры логики Свойства констант iconРешение задач с помощью алгебры логики. Научное общество «Эврика» Секция математики секция физики секция литературы секция русского языка
Определить какой логической операцией можно описать работу двух систем в отдельности
Теоремы алгебры логики Свойства констант iconАлгебра логики Логика
...
Разместите кнопку на своём сайте:
hnu.docdat.com


База данных защищена авторским правом ©hnu.docdat.com 2012
обратиться к администрации
hnu.docdat.com
Главная страница