Константа истины
Константа истины — это логическая константа \(1\), значение которой всегда равно истине, независимо от значений переменных и условий тапсырма.
Константа истины относится к основным объектам булевой алгебры. В таблицах истинности ей соответствует одна и та же величина — \(1\). Например, выражение \(A \lor 1\) истинно при любом значении \(A\), а выражение \(A \land 1\) сохраняет значение \(A\).
Пусть \(A=0\). Тогда \(A \lor 1 = 0 \lor 1 = 1\), то есть результат истинен. Если \(A=1\), то \(A \lor 1 = 1 \lor 1 = 1\). Поэтому результат не зависит от значения \(A\).
Константа лжи обозначается \(0\) и всегда имеет значение «ложь». Для неё выполняются другие равенства: \(A \lor 0=A\) и \(A \land 0=0\). Константы \(0\) и \(1\) — не переменные: их значения нельзя изменять.
Основные свойства
- \(1 \lor A=1\): дизъюнкция с истиной всегда истинна.
- \(1 \land A=A\): конъюнкция с истиной не изменяет значение выражения.
- \(\neg 1=0\): отрицание истины даёт ложь.
Эти равенства кіреді в законы нуля и единицы. При упрощении логических выражений константу истины можно использовать для удаления лишних операций и сокращения формулы.
Чему равно выражение \(B \land 1\) при \(B=0\)?
Главное
- Константа истины — это логическая константа \(1\), всегда равная истине.
- Основные свойства: \(A \lor 1=1\) и \(A \land 1=A\).
- Константа истины отличается от константы лжи \(0\), которая всегда равна ложному значению.