Информатика: темы
Логика
Логические операции, таблицы истинности и законы преобразований.
7 формул
Таблица формул
| Формула | Запись | Тема | Для чего нужна |
|---|---|---|---|
| Таблица истинности логического выражения | $2^n\ \text{строк}$ | Системы счисления | Таблица истинности логического выражения: формула 2^n\ \text{строк} помогает требуется требуется требуется требуется требуется требуется понять, сколько строк строить и как проверить все наборы истинности. В тексте есть условия, пример, ошибки и проверка результата. |
| Отрицание конъюнкции и дизъюнкции | $\neg(A\land B)=\neg A\lor\neg B$ | Системы счисления | Отрицание конъюнкции и дизъюнкции: формула \neg(A\land B)=\neg A\lor\neg B помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата. |
| Импликация в логическом выражении | $A\to B\equiv \neg A\lor B$ | Системы счисления | Импликация в логическом выражении: формула A\to B\equiv \neg A\lor B помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата. |
| Эквиваленция двух логических высказываний | $A\leftrightarrow B\equiv (A\land B)\lor(\neg A\land\neg B)$ | Системы счисления | Эквиваленция двух логических высказываний: формула A\leftrightarrow B\equiv (A\land B)\lor(\neg A\land\neg B) помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата. |
| Законы де Моргана для логических условий | $\neg(A\lor B)=\neg A\land\neg B$ | Системы счисления | Законы де Моргана для логических условий: формула \neg(A\lor B)=\neg A\land\neg B помогает требуется требуется требуется требуется требуется требуется раскрыть отрицание условия с И или ИЛИ без ошибки со знаками. В тексте есть условия, пример, ошибки и проверка результата. |
| Число наборов, при которых логическое выражение истинно | $M=\#\{x:F(x)=1\}$ | Системы счисления | Число наборов, при которых логическое выражение истинно: формула M=\#\{x:F(x)=1\} помогает требуется требуется требуется требуется требуется требуется посчитать подходящие наборы переменных для условия из задания. В тексте есть условия, пример, ошибки и проверка результата. |
| Расстояние Хэмминга между двоичными словами | $d(x,y)=\sum [x_i\ne y_i]$ | Системы счисления | Расстояние Хэмминга между двоичными словами: формула d(x,y)=\sum [x_i\ne y_i] помогает величины d, x_i, y_i заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата. |