Информатика

Логика

Булевы операции, таблицы истинности и число удовлетворяющих наборов.

Как выбрать подходящий материал

  1. Для таблицы истинности перечислите все наборы входных переменных и вычисляйте операции в установленном порядке.
  2. Не заменяйте импликацию причинной связью: её значение определяется логической таблицей.

6 формул

Формулы темы

Таблица истинности логического выражения

Таблица истинности логического выражения: формула 2^n\ \text{строк} помогает требуется требуется требуется требуется требуется требуется понять, сколько строк строить и как проверить все наборы истинности. В тексте есть условия, пример, ошибки и проверка результата.

$2^n\ \text{строк}$

Отрицание конъюнкции и дизъюнкции

Отрицание конъюнкции и дизъюнкции: формула \neg(A\land B)=\neg A\lor\neg B помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата.

$\neg(A\land B)=\neg A\lor\neg B$

Импликация в логическом выражении

Импликация в логическом выражении: формула A\to B\equiv \neg A\lor B помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата.

$A\to B\equiv \neg A\lor B$

Эквиваленция двух логических высказываний

Эквиваленция двух логических высказываний: формула A\leftrightarrow B\equiv (A\land B)\lor(\neg A\land\neg B) помогает величины A, B заданы для одной и той же ситуации, периода или объекта. В тексте есть условия, пример, ошибки и проверка результата.

$A\leftrightarrow B\equiv (A\land B)\lor(\neg A\land\neg 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\}$