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

Проблема разрешения.

Кортеж (вектор). | Декартово (прямое) произведение. | Отображение. | График. | Соответствие. | Отношение. | Высказывания. | Свойства логических операций. | Логические формулы. | Функции алгебры логики (ФАЛ). |


Читайте также:
  1. III. Проблема выбора в национальной экономике. Вмененные издержки производства.
  2. MB: Вы сказали, что отсутствие живого общения — это опасная проблема. А что еще беспокоит Вас в современном мире?
  3. Quot;Проблема" питания
  4. А что делать с глобальными экологическими проблемами, такими как изменение климата?
  5. Билет 46. Борьба за власть после смерти Сталина. Проблема выбора пути развития Г.М. Маленков, Л. П. Берия, Н.С. Хрущев.
  6. Бытие, как философская категория. Проблема бытия в истории философских учений. Формы бытия.
  7. В чем проблема - в вас или в мотоцикле?

В алгебре логики существует так называемая проблема разрешения, которая заключается в следующем: имеется исходная формула некоторой ФАЛ . Необходимо ответить на вопрос, является ли данная форма тождественно истинной, т.е. принадлежит ли она 1 классу ФАЛ.

? , φ(р1,…,рn) ≡ И обозначим ╞ φ.

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

Данная формула не является тождественно-истинной, т.к. в последней колонке таблицы истинности имеются 2 значения – ложно.


Приведем пример тождественно-истинной функции.

 

 

φ(р123)
  И И И И Л Л Л Л И И Л Л И И Л Л И Л И Л И Л И Л И Л И Л И И И И И Л И И И И И И И И Л Л Л Л Л Л И Л И И И И И И И И И И И И И И . . . . . . . .

 

 


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


<== предыдущая страница | следующая страница ==>
Способы вычисления ФАЛ.| Аналитические способы представления ФАЛ.

mybiblioteka.su - 2015-2024 год. (0.006 сек.)