Поиск по сайту

Короткий адрес страницы: fornit.ru/6964

Этот материал взят из источника: http://iiikt.narod.ru/elect/lognew/227.htm
Список основных тематических статей >>
Этот документ использован в разделе: "Минимизация усилий"Распечатать
Добавить в личную закладку.

Законы логики высказываний

1. ??А <=> A закон двойного отрицания
2.(A & B) <=> (B & A) коммутативность конъюнкции (переместительный)
3.(A V B) <=> (B V A) коммутативность дизъюнкции (переместительный)
4.(A & (B & C)) <=> ((A & B) & C) ассоциативность конъюнкции (сочетательный)
5.(A V (B V C)) <=> ((A V B) V C) ассоциативность дизъюнкции (сочетательный)
6.(A & (B V C)) <=> ((A & B) V (A & C)) дистрибутивность конъюнкции относительно дизъюнкции (распределительный)
7.(A V (B & C)) <=> ((A V B) & (A V C)) дистрибутивность дизъюнкции относительно конъюнкции (распределительный)
8.(A & A) <=> A законы идемпотенции
9.(A V A) <=> A
10.(A V ?A) <=> И закон исключенного третьего
11.(A & ?A) <=> Л закон непротиворечия
12.(A & И) <=> A операции с константами
13.(A V И) <=> И
14.(A & Л) <=> Л
15.(A V Л) <=> A
16. ?(A & B) <=> (?A V ?B) законы де Моргана
17. ?(A V B) <=> (?A & ?B)
18.(A => B) <=> (?A V B) замена импликации
19. A & (А V В) <=> A законы поглощения
20.(A V А & В) <=> A


Последнее редактирование: 2016-02-10

Оценить статью можно после того, как в обсуждении будет хотя бы одно сообщение.
Об авторе:
Этот материал взят из источника: http://iiikt.narod.ru/elect/lognew/227.htm



Тест: А не зомбируют ли меня?     Тест: Определение веса ненаучности

В предметном указателе: Высказывания митрополита Сурожскиго | Закон | Закон о противодействии оскорблению религиозных убеждений и чувств граждан | Законопроект о неподсудности священных писаний четырех основных религий — христианства, ислама, иудаизма и буддизма | Законы судьбы | Законы Эдварда Ли Торндайка | Квантовая логика физического вакуума | Открытие квантовых закономерностей | Что такое логики и какие логики бывают?
Последняя из новостей: О том, как конкретно возможно определять наличие психический явлений у организмов: Скромное очарование этологических теорий разумности.
Все новости

Может ли нейробиолог понять микропроцессор?
Нейробиологи, вооружившись методами, обычно применяемыми для изучения живых нейроструктур, попытались использовать их чтобы понять, как функционирует простейшая микропроцессорная система — «Мозгом» был процессор MOS 6502.
Все статьи журнала
 посетителейзаходов
сегодня:33
вчера:33
Всего:183205

Авторские права сайта Fornit
Яндекс.Метрика