Какое логическое выражение равносильно выражению «НЕ»?
Пост опубликован: 21.11.2017
Логическое выражение в информатике — это такое высказывание, которое записано при помощи констант либо переменных. В свою очередь, последние объединяются логическими функциями: конъюнкция, дизъюнкция, инверсия и др.
При помощи этих функций упрощаются логические выражения, чтобы перейти к более простой логической схеме, которые, в свою очередь, необходимы для отображения последовательности всех операций в наглядной форме. Вообще, логические выражения, логические функции и логические схемы об одной и той же сущности рассказывают в одном смысле, но по—своему, поэтому считаются разными языками.
Для того, чтобы упростить логическое выражение, используются законы алгебры логики. Какие—то преобразования очень схожи с формулами из классической алгебры, а какие—то основаны на тех свойствах, которые классической алгеброй не обладают.
Для базовых операций формулируются логические схемы:
1. «НЕ» — схема логического отрицания (инвертор).
2. «И» — схема для конъюнкций.
3. «ИЛИ» — схема для дизъюнкций.
Например, какое логическое выражение равносильно выражению (A/\B)/\C ? Здесь с помощью законов де Моргана можно легко определить, что это будет логическое выражение (A \/ B) /\ C. Так же легко это определяется и через таблицы истинности.
Для того, чтобы упростить логическое выражение, используются законы алгебры логики. Какие—то преобразования очень схожи с формулами из классической алгебры, а какие—то основаны на тех свойствах, которые классической алгеброй не обладают.
Для базовых операций формулируются логические схемы:
1. «НЕ» — схема логического отрицания (инвертор).
2. «И» — схема для конъюнкций.
3. «ИЛИ» — схема для дизъюнкций.
Например, какое логическое выражение равносильно выражению (A/\B)/\C ? Здесь с помощью законов де Моргана можно легко определить, что это будет логическое выражение (A \/ B) /\ C. Так же легко это определяется и через таблицы истинности.
