Студопедия

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника



ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ




Читайте также:
  1. I. Решение логических задач средствами алгебры логики
  2. I.4.2) Законы.
  3. IV. Законы динамики вращательного движения.
  4. V 1: Основные формально-логические законы
  5. А) федеральные законы и нормативные документы
  6. Великие законы сохранения
  7. Взаимосвязь законов логики и их роль в судебной практике
  8. Вопрос 53. Законы и их классификация.
  9. всех основных понятий, строгого описания рассуждений. Именно эта сторона логики позволяет говорить о ней как о строгой науке.
  10. Газовые законы

Алфавитом называется любой непустой набор символов. Элементы этого набора называются символами алфавита.

Словом в алфавите называется произвольная конечная (возможно пустая) последовательность символов из . Фиксируем некоторый конечный или счетный алфавит переменных .

Формула алгебры логики определяется следующим образом (индуктивное определение):

· Любая логическая переменная есть формула.

· Если – формула, то – формула (допустимы технические символы).

Если и – формулы, то – тоже формулы (допустимы все логические связки).

· Других формул нет.

Подформулой формулы называется любое подслово слова , которое само является формулой.

Пусть логические формулы составлены из простейших высказываний. Если на любом наборе значений простых высказываний значения и совпадают, то и называются тождественными ( ).

Свойства логических операций:

– закон исключенного противоречия

– закон исключенного третьего

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

Законы отрицания

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

Закон контрапозиции

Законы Булевой алгебры:

Коммутативный закон Ассоциативный закон

Дистрибутивный закон Законы поглощения

 

 


Дата добавления: 2015-01-05; просмотров: 23; Нарушение авторских прав





lektsii.com - Лекции.Ком - 2014-2020 год. (0.005 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты