АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология

Методические указания.

Прочитайте:
  1. IV. Методические указания студентам по подготовке к занятию
  2. Задачи и методические рекомендации
  3. Задачи и методические рекомендации
  4. Задачи и методические рекомендации
  5. Краткие методические указания к работе на практическом занятии.
  6. МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ
  7. МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ ДЛЯ СТУДЕНТОВ III КУРСА ЛЕЧЕБНОГО, ПЕДИАТРИЧЕСКОГО И МЕДИКО-ПРРОФИЛАКТИЧЕСКОГО ФАКУЛЬТЕТОВ
  8. Методические материалы, определяющие процедуры оценивания знаний
  9. Методические принципы диагностики и терапии
  10. Методические рекомендации

Пример 1. Используя основные равносильности алгебры логики, а также равносильности и ,

упростить формулу: .

Решение.

Ответ:

 

Логическую операцию конъюнкция в формулах алгебры логики можно опускать, т.е. выражение A&B можно записывать в виде АВ.

 

Пример 2. Для заданного высказывания

1) построить таблицу истинности;

2) упростить высказывание, используя равносильные преобразования;

3) полученный результат проверить, построив для него таблицу истинности.

Решение.

1) Таблица истинности. Пусть

 

Х Y Z YZ U
               
               
               
               
               
               
               
               

 

2) Выполним равносильные преобразования, используя и , имеем:

в последнем преобразовании для первого и третьего слагаемых использовали правило поглощения АВÚАºА, далее используем другое правило поглощения , получаем

Еще раз использовали правило поглощения.

3) Для полученного выражения построим таблицу истинности

 

Х Y Z
           
           
           
           
           
           
           
           

 

Результирующие (последние) столбцы в двух таблицах совпали, следовательно, выполненные преобразования верны.

 


Дата добавления: 2015-09-27 | Просмотры: 332 | Нарушение авторских прав







При использовании материала ссылка на сайт medlec.org обязательна! (0.003 сек.)