Я знаю, что верхняя граница для размера игрового дерева равна 9! = 362 880 в крестики-нолики 3X3....
Возможно ли получить bdd для (x0 ∧ x1) ∨ (x0 ∧! X1) ∨ (! X0 ∧ x1) ∨ (! X 0 ∧! X 1), в котором еще...