2015-10-22
539
Согласно определению, таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре: (0, 0), (0, 1), (1, 0), (1, 1).
Если формула содержит три переменные, то возможных наборов значений переменных восемь (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1). Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.
Удобной формой записи при нахождении значений формулы является таблица, содержащая кроме значений переменных и значений формулы также и значения промежуточных формул.
Контрольные вопросы:
1. Что такое логика?
2. Дайте определение умозаключению?
3. Дайте определение логическому выражению?
4. Какие законы логики Вы знаете?
5. Назовите основные логические операции.
6. Назовите базовые логические элементы компьютера.
ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
| Закон | Для дизъюнкции | Для конъюнкции |
| 1. Ассоциативность | Независимость от порядка выполнения однотипных действий | |
| 
| |
| 2. Коммутативность | Независимость от перестановки | |
| 
| |
| 3. Дистрибутивность (распределение) | Правила раскрытия скобок и вынесение | |
|
| |
| 4. Идемпотентность | Отсутствие степеней и коэффициентов | |
|
| |
| 5. Инволюция | Двойная инверсия | |
 = 
| ||
| 6. Действия с абсолютно-истинными высказываниями | 
| 
|
| 7. Действия с абсолютно-ложными высказываниями | 
| 
|
| 8. Законы де Моргана | Отрицание одновременной истинности
| Отрицание вариантов
|
| 9. Закон исключенного третьего и закон противоречия | 
| |
| 10. Поглощение | 
| 
|
| 11. Поглощение отрицания | 
| 
|
