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

Комбинационные законы

Прочитайте:
  1. Газовые законы
  2. ЕСТЕСТВЕННЫЕ ЗАКОНЫ УПРАВЛЕНИЯ НАШИМ ОРГАНИЗМОМ
  3. Законы наследования. Законы Менделя.
  4. ЗАКОНЫ ПОСТОЯННОГО ЭЛЕКТРИЧЕСКОГО ТОКА
  5. Законы проведения возбуждения по нервным волокнам
  6. Законы проведения возбуждения по нервным волокнам. Мионевральный синапс
  7. ЗАКОНЫ РОДОВОГО ПРОЦЕССА
  8. ЗАКОНЫ СОХРАНЕНИЯ ИМПУЛЬСА И МЕХАНИЧЕСКОЙ ЭНЕРГИИ
  9. Маржинализм и законы Г. Г. Госсена (1810-1858).

A v A = A Законы тавтологии

A Ù A = A

 

A v B = B v A Коммутативные законы

A Ù B = B Ù A

 

(A v B) v C = A v (B v C) Ассоциативные законы

(A Ù B) Ù C = A Ù (B Ù C)

 

A(B v C) = AB v AC Дистрибутивные законы

A v (BC) = (A v B)(A v C) Второй дистрибутивный закон можно доказать на основе первого:

(AvB)(AvC) = AAvACvBAvBC = AvACvABvBC = =A(1vCvB)vBC = A v BC

A v AB = A Законы поглощения Законы поглощения можно доказать:

A(A v B) = A AvAB = A(1vB) = A

A(AvB) = AAvAB = AvAB = A(1vB) = A

 

A B v A`B = A Законы склеивания

(A v B)(A v`B) = A Доказательство:

A B v A`B = A(B v`B) = A

(A v B)(A v`B) = A A v A`B v A B v B`B = A v A`B v AB = =A(1 v`B v B) = A

ПОСТРОЕНИЕ ЛОГИЧЕСКИХ СХЕМ

Каждое логическое выражение можно реализовать в виде конкретной логической схемы:

 
 


a 1 `a `ab 1 D=a v`ab

&

b

Можно попытаться преобразовать это выражение:

___ ________ __________ ___

D = a v`ab =`a`ab =`a(a v`b)= `a a v`a`b =`a`b = a v b

Следовательно D=a v b a 1 D=a v b

b

Эта схема намного проще, поэтому всегда следует стараться упростить выражение.

Это же преобразование можно сделать с помощью второго дистрибутивного закона, а затем закона склеивания:

D = a v`ab = (a v`a)(a v b)= a v b


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







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