Базовые понятия логики

Видео может быть заблокировано из-за расширений браузера. В статье вы найдете решение этой проблемы.

Примечания к видео

В слайде "Доказательство дистрибутивности" допущена опечатка: в четвёртом столбце таблицы вместо b ^ c должно быть b v c. Правильная версия таблицы:

| a | b | c | b v c | a ^ (b v c) | a ^ b | a ^ c | (a ^ b) v (a ^ 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         |
Мы учим программированию с нуля до стажировки и работы. Попробуйте наш бесплатный курс «Введение в программирование» или полные программы обучения по Javascript, PHP, Python и Java.

Хекслет

Подробнее о том, почему наше обучение работает →