ОАП (Циммерман О.В.): Законы алгебры логики

Zum Hauptinhalt

Форум "Высказывания и операции над ними"

Законы алгебры логики

Простые высказывания

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

Законы ассоциативности:

A v(B v C) = (A v B) v C;

А & (В & C) = (A & В) & С.

Ursprungsbeitrag | Antworten

Переместительный закон: для ИЛИ

для И

Ursprungsbeitrag | Antworten

Правила де Моргана

НЕ(x\/y)=НЕ x * НЕ y

НЕx*НЕy=НЕ(x\/y)

Ursprungsbeitrag | Antworten

Законы поглощения

$x\land (x\lor y)=x$ ,

$x\lor (x\land y)=x$

Ursprungsbeitrag | Antworten

ЗАКОН КОНТРАПОЗИЦИИ

.

$( A \to B ) \to ( \neg B \to \neg A )$

$(\neg B\to\neg A)\to(A\to B)$

Ursprungsbeitrag | Antworten

Закон поглощения

А+А*В=А

А*(А+В)=А

Ursprungsbeitrag | Antworten

закон двойного отрицания

Ursprungsbeitrag | Antworten

Закон склеивания: Для ИЛИ

Для И

Ursprungsbeitrag | Antworten

Простые высказывания