Не особо понял, что ты именно хочешь услышать, как подставляют или как прога работает.
Прога- перебор каждой переменной от false(0) до true (1)
То есть она перебирает всевозможные варианты :)
Если это не то, что ты хотел услышать, то составляй задание корректней в след раз))
