Сколько наборов логических переменных удовлетворяют условиям:((x_i ∧

Решение по шагам

1. 1

   Как рассуждать

   Решение. Пусть есть m переменных x₁, x₂, x₃, …, x_(m-1), x_m и n переменных y₁, y₂, y₃, … yₙ₋₁, yₙ. И пусть есть (m−1)*(n−1) уравнений вида (x_i∧y_j→x_(i+1)∧y_j)∧(x_i∧y_j→x_i∧y_(j+1))=1 для всех i<m и j<n. Конъюнкция двух выражений равна 1 тогда и только тогда, когда каждое из двух выражений равно