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

Skip to main content

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

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

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

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

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

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

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

Show parent | Reply

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

для И

Show parent | Reply

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

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

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

Show parent | Reply

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

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

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

Show parent | Reply

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

.

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

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

Show parent | Reply

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

А+А*В=А

А*(А+В)=А

Show parent | Reply

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

Show parent | Reply

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

Для И

Show parent | Reply

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