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

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

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

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

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

Відповісти

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

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

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

Показати джерело | Відповісти

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

для И

Показати джерело | Відповісти

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

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

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

Показати джерело | Відповісти

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

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

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

Показати джерело | Відповісти

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

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

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

Показати джерело | Відповісти

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

А+А*В=А

А*(А+В)=А

Показати джерело | Відповісти

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

Показати джерело | Відповісти

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

Для И

Показати джерело | Відповісти

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