Таблица Содержащая Все Возможные Значения Логического Выражения Называется Таблица Значений • Логическое высказывание
Введем обозначения для логических высказываний:
Л — победит Ласточка; С — победит Стрела; Т — победит Тормоз.
Запишем высказывания (высказывание Петра «Тормоз готовился очень тщательно» не содержит информации о месте и не может быть учтено):
Алгебра логики | Сайт вичюса
Таким образом, все значения должны быть истинными: И первое, И второе, И. При умножении логических операторов мы получим единицу только если все они будут равны единице:
| A | B | F = A & B |
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
Таблица истинности.
Каким из приведённых ниже выражений может быть F?
1) ¬x1 ∧ x2 ∧ ¬x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7
2) x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7
3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7
4) x1 ∨ ¬x2 ∨ x3 ∨ x4 ∨ ¬x5 ∨ ¬x6 ∨ x7 Каждое высказывание оформляется в виде логической переменной.

Основные примеры
| п | q | p ∧ q | ¬ ( p ∧ q ) | ¬ p | ¬ q | (¬ p ) ∨ (¬ q ) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 |
Каждое логическое выражение A и B зависит от одного и того же набора из 7 переменных. В таблицах истинности каждого из этих выражений в столбце значений стоит ровно по 4 единицы.
Логическая И-НЕ
- Полная таблица истинности для каждого из выражений A и B состоит из 2 7 = 128 строк.
- В четырех из них результат равен единице, значит в остальных — 0.
- A ∨ B истинно в том случае, когда либо A = 1 либо B = 1, или и A и B = 1.
- Поскольку А = 1 только в 4 случаях, то чтобы получить максимальное количество единиц в результирующей таблице истинности (для A ∨ B), расположим все единицы т.и. для выражения A так, чтобы они были в строках, где B = 0, и наоборот, все строки, где B = 1, поставим в строки, где A = 0:
A B 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 … … - Итого получаем 8 строк.
- Если бы в задании требовалось найти минимальное количество единиц, то мы бы совместили строки со значением = 1, и получили бы значение 4.



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