Каждое из логических выражений F и G содержит 5 переменных. В таблицах истинности выражений F и G есть ровно 5 одинаковых строк, причём ровно в 4 из них в столбце значений стоит 1.
Сколько строк таблицы истинности для выражения F ∨ G содержит 1 в столбце значений?
На 4 наборах входных переменных оба выражения равны 1, на 1 наборе оба равны 0, а на всех остальных одно из них равно 0, а другое 1. Поэтому если взять логическое или от этих двух выражений, то на том наборе, на котором они оба были равны 0, полученное выражение будет равно 0, на всех же остальных наборах хотя бы одно из них будет равно 1, поэтому и итоговое выражение будет равно 1. Всего различных наборов 32, из них на одном 0, то есть на 31 оставшихся наборах будет 1.
Ответ: 31.