составлена таблица истинности для логического выражения содержащего n переменных.Известно m - количество строк. В скольких случаях логическое выражение примет значение ложь при…

Классическая таблица истинности для логического выражения с n переменными имеет ровно 2^n строк.

• Для n = 9 количество строк должно быть: 2^9 = 512.
• В условии дано m = 310, что противоречит правилу: m должно быть равным 512, если речь идёт именно о полной таблице истинности по всем возможным комбинациям значений переменных.

Поэтому задачу в таком виде считать корректной нельзя: число строк не совпадает с требованием таблицы истинности.

Что можно сделать дальше (несколько возможных трактовок):

• Если m должен быть числом строк полной таблицы, то исправим условие на m = 512. Тогда вопрос о количестве ложных значений становится вопросом о самой функции: без её формулы нельзя определить точное число ложных строк. Оно может быть любым от 0 до 512 включительно.

  • 0 ложных строк: функция тождественно истинна (тие tautology).
  • 512 ложных строк: функция тождественно ложна (противоречие).
  • Любое другое значение F (0 ≤ F ≤ 512): достигается некоторой булевой функцией.

• Если же m = 310 это не ошибка, а часть условий частичной таблицы (например, рассматриваем только 310 конфигураций из 512 возможных), то на основе только этой информации нельзя определить точное число ложных строк вообще: нужно знать, какие из этих 310 конфигураций дают ложь и каковы значения на остальных 202 конфигурациях.

• В общем виде для любой функции от n переменных количество ложных строк F удовлетворяет 0 ≤ F ≤ 2^n. Без знания самой функции определить F невозможно. При равной вероятности истинности/ложности по каждой конфигурации ожидаемое число ложных равно примерно 2^n / 2 = 2^(n-1); для n=9 это примерно 256 (если рассуждать как про случайную функцию).

Кратко ответ: при заданных n=9 корректное число строк равно 512; m=310 противоречит этому. Без формулы логического выражения точного количества ложных случаев определить нельзя. Если хотите, могу помочь переписать задачу так, чтобы она однозначно решалась (например, исправить m на 512 или задать конкретную функцию и посчитать F).