Задача, таблица истинности, количество строк

[Nub123]

Как решается эта задача?

Определите количество строк в таблице истинности для логической функции
F=notA or B —> (notA or notB) в которых значение функции совпадает со значением В.

Только перебор всех значений (т.е. собственно составление этой таблицы)?

[patzer2097]

А что, разбор четырех настолько тривиальных случаев может быть сколько-нибудь неприятным? Не развивать же специально какую-то теорию такой булевой функции

[Sonic86]

В принципе, поскольку число переменных мало, можно выписать уравнение $(\neg A \vee B) \to (\neg A \vee \neg B) = B$, упростить левую часть, а потом, например, пробовать подстановки $A=0, A=1$. Может после упрощения еще чего проще видно будет.