Почём сегодня унитарный патрон на 7.62?
Все логические операции определяются таблично, полными таблицами для двух переменных. Логические переменные вообще хороши тем, что у них всего два значения: истина (1) и ложь (0), поэтому количество возможных сочетаний переменных N = 2^n, где n - число переменных. Для двух переменных это 4, для трёх - 8, остальное считать обычно лениво, тем более что благодаря вольному переназыванию конструкций всё рекурсивно сводится к четырём разным вариантам.
Для работы с книгой Барский предлагает вспомнить всего четыре логических операции: отрицание, конъюнкцию, дизъюнкцию и импликацию.
1. Отрицание (инверсия, НЕ). Оно в принципе унарная операция (для него нужна только одна логическая переменная, которая может принимать два значения).
Табличное определение отрицания
2. Конъюнкция (логическое умножение, И). Истинно, когда все переменные, входящие в выражение, истинны.
Табличное определение конъюнкции
3. Дизъюнкция (логическое сложение, ИЛИ). Истинно, когда истинна хотя бы одна переменная, входящая в выражение.
Табличное определение дизъюнкции
4. Импликация (следование, х → у ). Следствие истинно, только когда истинна посылка.
Табличное определение импликации
Для работы с книгой Барский предлагает вспомнить всего четыре логических операции: отрицание, конъюнкцию, дизъюнкцию и импликацию.
1. Отрицание (инверсия, НЕ). Оно в принципе унарная операция (для него нужна только одна логическая переменная, которая может принимать два значения).
Табличное определение отрицания
2. Конъюнкция (логическое умножение, И). Истинно, когда все переменные, входящие в выражение, истинны.
Табличное определение конъюнкции
3. Дизъюнкция (логическое сложение, ИЛИ). Истинно, когда истинна хотя бы одна переменная, входящая в выражение.
Табличное определение дизъюнкции
4. Импликация (следование, х → у ). Следствие истинно, только когда истинна посылка.
Табличное определение импликации