1) В каком порядке обычно записываются значения переменных в таблице истинности?
Таблица истинности используется для определения значений логических выражений в зависимости от значений переменных. Значения переменных в таблице истинности обычно записываются в так называемом "лексикографическом порядке", что позволяет систематически учитывать все возможные комбинации значений переменных.
Для переменных (A) и (B) возможны четыре комбинации их значений: ( (A, B) = (0, 0), (0, 1), (1, 0), (1, 1) ). В таблице истинности их принято располагать следующим образом:
[
\begin{array}{|c|c|}
\hline
A & B \
\hline
0 & 0 \
0 & 1 \
1 & 0 \
1 & 1 \
\hline
\end{array}
]
Если у нас есть три переменные (A), (B), и (C), то комбинации их значений будут такими:
[
\begin{array}{|c|c|c|}
\hline
A & B & C \
\hline
0 & 0 & 0 \
0 & 0 & 1 \
0 & 1 & 0 \
0 & 1 & 1 \
1 & 0 & 0 \
1 & 0 & 1 \
1 & 1 & 0 \
1 & 1 & 1 \
\hline
\end{array}
]
Таким образом, значения переменных (A), (B), (C) и так далее записываются в порядке, соответствующем увеличению двоичного числа, составленного из этих переменных. Это позволяет легко и последовательно обойти все возможные состояния переменных.
2) В каком порядке выполняются действия в логических операциях?
В логических выражениях действия выполняются в определенном порядке, который называется приоритетом операций. Приоритет логических операций можно описать следующим образом (от самого высокого к самому низкому):
НЕ (NOT): Унарная операция, которая инвертирует значение логического выражения. Если (A) - переменная, то (\neg A) (или NOT A) будет истиной, если (A) ложно, и ложью, если (A) истинно.
И (AND): Бинарная операция, которая возвращает истину, если оба операнда истинны. Например, (A \land B) (или A AND B) будет истиной только в том случае, если и (A), и (B) истинны.
ИЛИ (OR): Бинарная операция, которая возвращает истину, если хотя бы один из операндов истинен. Например, (A \lor B) (или A OR B) будет истиной, если хотя бы один из (A) или (B) истинен.
Исключающее ИЛИ (XOR): Бинарная операция, которая возвращает истину, если ровно один из операндов истинен. Например, (A \oplus B) (или A XOR B) будет истиной, если либо (A), либо (B) истинен, но не оба одновременно.
Кроме указанных операций, иногда встречаются и другие, но они имеют более низкий приоритет или специфичны для определенных языков программирования и систем логического исчисления.
Чтобы избежать путаницы в порядке выполнения операций, часто используются скобки. Скобки имеют самый высокий приоритет и позволяют явно указать порядок выполнения операций. Например, выражение (\neg (A \land B)) гарантирует, что сначала будет выполнена операция (A \land B), а затем результат будет инвертирован операцией (\neg).
Таким образом, при написании сложных логических выражений важно учитывать приоритет операций или явно указывать порядок выполнения с помощью скобок для достижения ожидаемого результата.