Доказательство истинности дистрибутивного закона
| A | B | C | 
| 
| 
| 
| 
|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Для иллюстрации не очень сложных высказываний можно (также как и в теории множеств) использовать диаграммы Эйлера – Венна. Однако основным способом расчета значений сложных высказываний являются таблицы истинности.
Вопросы для самопроверки
1. Что такое высказывание?
2. Основные логические операции над высказываниями.
3. Что такое таблица истинности?
4. Свойства логических операций.
5. Используя таблицы истинности доказать законы де Моргана.
6. Какие операции родственны для высказываний и множеств?
[1] См.: Михайлов А. И., Черный А. И., Гиляровский Р. С. Основы информатики. – М. : Наука, 1969.
[2] Более строгое понятие количества информации см. в приложении.
[3] Поэтому интернет-адрес называют также IP-адресом.
Дата добавления: 2018-05-12; просмотров: 2574; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!