2. Дополнения.

Разность двух множеств — это теоретико-множественная операция, результатом которой является множество, в которое входят все элементы первого множества, не входящие во второе множество. Допустим что множество X- множество всех клеток доски от A1 до E5, тогда для того что бы найти дополнение, надо поочередно находить разность множества X и множеств, которые образуют дизъюнкции в ДНФ. Для примера возьмем первую конъюнкцию в ДНФ, до множества X ей не хватает a1b1b5c1c5d1d5e1 это и есть дополнение.

Дополнение:

a1b1b5c1c5d1d5e1++a1a5b1b5c1c5d1d5++b1b5c1c5d1d5e1e5++a5b1b5c1c5d1d5e5++b1b5c1d1d4d5e1++a5b1b5c1d1d4d5++b1b4b5c1d1d4d5++a1b1c1c4c5d1e1++a1a5b1c1c4c5d1++b1c1c4c5d1e1e5++a5b1c1c4c5d1e5++a1a4b1c1c4c5e1++a1a4a5b1c1c4c5++a4b1c1c4c5e1e5++a4a5b1c1c4c5e5++b1c1c4d1d4e1++a5b1c1c4d1d4++a4b1c1c4d4e1++a4a5b1c1c4d4++b1b4c1c4d1d4++a4b1b4c1c4d4++a1c1c4c5d1e1e4++a1a5c1c4c5d1e4++c1c4c5d1e1e4e5++a5c1c4c5d1e4e5++a1a4c1c4c5e1e4++a1a4a5c1c4c5e4++a4c1c4c5e1e4e5++a4a5c1c4c5e4e5++c1c4d1d4e1e4++a5c1c4d1d4e4++a4c1c4d4e1e4++a4a5c1c4d4e4++b4c1c4d1d4e4++a4b4c1c4d4e4++a3b1b5d1d4d5e1++a3a5b1b5d1d4d5++a3b1c4d1d4e1++a3a5b1c4d1d4++a3a4b1c4d4e1++a3a4a5b1c4d4++a3c4d1d4e1e4++a3a5c4d1d4e4++a3a4c4d4e1e4++a3a4a5c4d4e4++a1b1b3b5c1c5e1++a1a5b1b3b5c1c5++b1b3b5c1c5e1e5++a5b1b3b5c1c5e5++b1b3b5c1d4e1++a5b1b3b5c1d4++b1b3b4b5c1d4++a1b3b5c1c5e1e4++a1a5b3b5c1c5e4++b3b5c1c5e1e4e5++a5b3b5c1c5e4e5++b3b5c1d4e1e4++a5b3b5c1d4e4++b3b4b5c1d4e4++a3b1b3b5d4e1++a3a5b1b3b5d4++a3b3b5d4e1e4++a3a5b3b5d4e4++b1b5c1c3c5d1d5++b1c1c3c4c5d1++a4b1c1c3c4c5++c1c3c4c5d1e4++a4c1c3c4c5e4++b1b3b5c1c3c5++b3b5c1c3c5e4++a1c1c5d1d3d5e1++a1a5c1c5d1d3d5++c1c5d1d3d5e1e5++a5c1c5d1d3d5e5++a1a4c1c5d3d5e1++a1a4a5c1c5d3d5++a4c1c5d3d5e1e5++a4a5c1c5d3d5e5++c1d1d3d4d5e1++a5c1d1d3d4d5++a4c1d3d4d5e1++a4a5c1d3d4d5++b4c1d1d3d4d5++a4b4c1d3d4d5++a3d1d3d4d5e1++a3a5d1d3d4d5++a3a4d3d4d5e1++a3a4a5d3d4d5++a1b3c1c5d3e1++a1a5b3c1c5d3++b3c1c5d3e1e5++a5b3c1c5d3e5++b3c1d3d4e1++a5b3c1d3d4++b3b4c1d3d4++a3b3d3d4e1++a3a5b3d3d4++c1c3c5d1d3d5++a4c1c3c5d3d5++b3c1c3c5d3++a1b1b4b5c1d1d5++b1b4b5c1d1d5e5++a1b1b4c1c4d1++b1b4c1c4d1e5++a1a4b1b4c1c4++a4b1b4c1c4e5++a1b4c1c4d1e4++b4c1c4d1e4e5++a1a4b4c1c4e4++a4b4c1c4e4e5++a1b1b3b4b5c1++b1b3b4b5c1e5++a1b3b4b5c1e4++b3b4b5c1e4e5++a1b4c1d1d3d5++b4c1d1d3d5e5++a1a4b4c1d3d5++a4b4c1d3d5e5++a1b3b4c1d3++b3b4c1d3e5++a1b1b4b5d1d5e3++b1b4b5d1d5e3e5++a1b1b4c4d1e3++b1b4c4d1e3e5++a1a4b1b4c4e3++a4b1b4c4e3e5++a1b4c4d1e3e4++b4c4d1e3e4e5++a1a4b4c4e3e4++a4b4c4e3e4e5++a1a3b1b5d1d5e1e3++a1a3a5b1b5d1d5e3++a3b1b5d1d5e1e3e5++a3a5b1b5d1d5e3e5++a1a3b1c4d1e1e3++a1a3a5b1c4d1e3++a3b1c4d1e1e3e5++a3a5b1c4d1e3e5++a1a3a4b1c4e1e3++a1a3a4a5b1c4e3++a3a4b1c4e1e3e5++a3a4a5b1c4e3e5++a1a3c4d1e1e3e4++a1a3a5c4d1e3e4++a3c4d1e1e3e4e5++a3a5c4d1e3e4e5++a1a3a4c4e1e3e4++a1a3a4a5c4e3e4++a3a4c4e1e3e4e5++a3a4a5c4e3e4e5++a1b1b3b4b5e3++b1b3b4b5e3e5++a1b3b4b5e3e4++b3b4b5e3e4e5++a1a3b1b3b5e1e3++a1a3a5b1b3b5e3++a3b1b3b5e1e3e5++a3a5b1b3b5e3e5++a1a3b3b5e1e3e4++a1a3a5b3b5e3e4++a3b3b5e1e3e4e5++a3a5b3b5e3e4e5++a3b1b5c3d1d5e3++a3b1c3c4d1e3++a3a4b1c3c4e3++a3c3c4d1e3e4++a3a4c3c4e3e4++a3b1b3b5c3e3++a3b3b5c3e3e4++a1b4d1d3d5e3++b4d1d3d5e3e5++a1a4b4d3d5e3++a4b4d3d5e3e5++a1a3d1d3d5e1e3++a1a3a5d1d3d5e3++a3d1d3d5e1e3e5++a3a5d1d3d5e3e5++a1a3a4d3d5e1e3++a1a3a4a5d3d5e3++a3a4d3d5e1e3e5++a3a4a5d3d5e3e5++a1b3b4d3e3++b3b4d3e3e5++a1a3b3d3e1e3++a1a3a5b3d3e3++a3b3d3e1e3e5++a3a5b3d3e3e5++a3c3d1d3d5e3++a3a4c3d3d5e3++a3b3c3d3e3++a1a2b5c1c5d1e1e4++a1a2a5b5c1c5d1e4++a2b5c1c5d1e1e4e5++a2a5b5c1c5d1e4e5++a2b5c1d1d4e1e4++a2a5b5c1d1d4e4++a2b4b5c1d1d4e4++a2a3b5d1d4e1e4++a2a3a5b5d1d4e4++a2b5c1c3c5d1e4++a1a2c1c5d1d3e1++a1a2a5c1c5d1d3++a2c1c5d1d3e1e5++a2a5c1c5d1d3e5++a1a2a4c1c5d3e1++a1a2a4a5c1c5d3++a2a4c1c5d3e1e5++a2a4a5c1c5d3e5++a2c1d1d3d4e1++a2a5c1d1d3d4++a2a4c1d3d4e1++a2a4a5c1d3d4++a2b4c1d1d3d4++a2a4b4c1d3d4++a2a3d1d3d4e1++a2a3a5d1d3d4++a2a3a4d3d4e1++a2a3a4a5d3d4++a2c1c3c5d1d3++a2a4c1c3c5d3++a1a2b4b5c1d1e4++a2b4b5c1d1e4e5++a1a2b4c1d1d3++a2b4c1d1d3e5++a1a2a4b4c1d3++a2a4b4c1d3e5++a1a2b4b5d1e3e4++a2b4b5d1e3e4e5++a1a2a3b5d1e1e3e4++a1a2a3a5b5d1e3e4++a2a3b5d1e1e3e4e5++a2a3a5b5d1e3e4e5++a2a3b5c3d1e3e4++a1a2b4d1d3e3++a2b4d1d3e3e5++a1a2a4b4d3e3++a2a4b4d3e3e5++a1a2a3d1d3e1e3++a1a2a3a5d1d3e3++a2a3d1d3e1e3e5++a2a3a5d1d3e3e5++a1a2a3a4d3e1e3++a1a2a3a4a5d3e3++a2a3a4d3e1e3e5++a2a3a4a5d3e3e5++a2a3c3d1d3e3++a2a3a4c3d3e3++b1b2b5c5d1d5e1++a5b1b2b5c5d1d5++b1b2c4c5d1e1++a5b1b2c4c5d1++a4b1b2c4c5e1++a4a5b1b2c4c5++b2c4c5d1e1e4++a5b2c4c5d1e4++a4b2c4c5e1e4++a4a5b2c4c5e4++b1b2b3b5c5e1++a5b1b2b3b5c5++b2b3b5c5e1e4++a5b2b3b5c5e4++b2c5d1d3d5e1++a5b2c5d1d3d5++a4b2c5d3d5e1++a4a5b2c5d3d5++b2b3c5d3e1++a5b2b3c5d3++b1b2b5d1d5e1e3++a5b1b2b5d1d5e3++b1b2b4b5d1d5e3++b1b2c4d1e1e3++a5b1b2c4d1e3++a4b1b2c4e1e3++a4a5b1b2c4e3++b1b2b4c4d1e3++a4b1b2b4c4e3++b2c4d1e1e3e4++a5b2c4d1e3e4++a4b2c4e1e3e4++a4a5b2c4e3e4++b2b4c4d1e3e4++a4b2b4c4e3e4++b1b2b3b5e1e3++a5b1b2b3b5e3++b1b2b3b4b5e3++b2b3b5e1e3e4++a5b2b3b5e3e4++b2b3b4b5e3e4++b2d1d3d5e1e3++a5b2d1d3d5e3++a4b2d3d5e1e3++a4a5b2d3d5e3++b2b4d1d3d5e3++a4b2b4d3d5e3++b2b3d3e1e3++a5b2b3d3e3++b2b3b4d3e3++a2b2b5c5d1e1e4++a2a5b2b5c5d1e4++a2b2c5d1d3e1++a2a5b2c5d1d3++a2a4b2c5d3e1++a2a4a5b2c5d3++a2b2b5d1e1e3e4++a2a5b2b5d1e3e4++a2b2b4b5d1e3e4++a2b2d1d3e1e3++a2a5b2d1d3e3++a2a4b2d3e1e3++a2a4a5b2d3e3++a2b2b4d1d3e3++a2a4b2b4d3e3++a1b5c1c2c5d5e1++a1a5b5c1c2c5d5++b5c1c2c5d5e1e5++a5b5c1c2c5d5e5++b5c1c2d4d5e1++a5b5c1c2d4d5++b4b5c1c2d4d5++a1c1c2c4c5e1++a1a5c1c2c4c5++c1c2c4c5e1e5++a5c1c2c4c5e5++c1c2c4d4e1++a5c1c2c4d4++b4c1c2c4d4++a3b5c2d4d5e1++a3a5b5c2d4d5++a3c2c4d4e1++a3a5c2c4d4++b5c1c2c3c5d5++c1c2c3c4c5++a1b4b5c1c2d5++b4b5c1c2d5e5++a1b4c1c2c4++b4c1c2c4e5++a1b4b5c2d5e3++b4b5c2d5e3e5++a1b4c2c4e3++b4c2c4e3e5++a1a3b5c2d5e1e3++a1a3a5b5c2d5e3++a3b5c2d5e1e3e5++a3a5b5c2d5e3e5++a1a3c2c4e1e3++a1a3a5c2c4e3++a3c2c4e1e3e5++a3a5c2c4e3e5++a3b5c2c3d5e3++a3c2c3c4e3++a1a2b5c1c2c5e1++a1a2a5b5c1c2c5++a2b5c1c2c5e1e5++a2a5b5c1c2c5e5++a2b5c1c2d4e1++a2a5b5c1c2d4++a2b4b5c1c2d4++a2a3b5c2d4e1++a2a3a5b5c2d4++a2b5c1c2c3c5++a1a2b4b5c1c2++a2b4b5c1c2e5++a1a2b4b5c2e3++a2b4b5c2e3e5++a1a2a3b5c2e1e3++a1a2a3a5b5c2e3++a2a3b5c2e1e3e5++a2a3a5b5c2e3e5++a2a3b5c2c3e3++b2b5c2c5d5e1++a5b2b5c2c5d5++b2c2c4c5e1++a5b2c2c4c5++b2b5c2d5e1e3++a5b2b5c2d5e3++b2b4b5c2d5e3++b2c2c4e1e3++a5b2c2c4e3++b2b4c2c4e3++a2b2b5c2c5e1++a2a5b2b5c2c5++a2b2b5c2e1e3++a2a5b2b5c2e3++a2b2b4b5c2e3++a1b1b5c5d1d2d5++b1b5c5d1d2d5e5++a1b1c4c5d1d2++b1c4c5d1d2e5++a1a4b1c4c5d2++a4b1c4c5d2e5++a1c4c5d1d2e4++c4c5d1d2e4e5++a1a4c4c5d2e4++a4c4c5d2e4e5++a1a3b1b5d1d2d5++a3b1b5d1d2d5e5++a3b1b5d1d2d4d5++a1a3b1c4d1d2++a3b1c4d1d2e5++a1a3a4b1c4d2++a3a4b1c4d2e5++a3b1c4d1d2d4++a3a4b1c4d2d4++a1a3c4d1d2e4++a3c4d1d2e4e5++a1a3a4c4d2e4++a3a4c4d2e4e5++a3c4d1d2d4e4++a3a4c4d2d4e4++a1b1b3b5c5d2++b1b3b5c5d2e5++a1b3b5c5d2e4++b3b5c5d2e4e5++a1a3b1b3b5d2++a3b1b3b5d2e5++a3b1b3b5d2d4++a1a3b3b5d2e4++a3b3b5d2e4e5++a3b3b5d2d4e4++a1c5d1d2d3d5++c5d1d2d3d5e5++a1a4c5d2d3d5++a4c5d2d3d5e5++a1a3d1d2d3d5++a3d1d2d3d5e5++a1a3a4d2d3d5++a3a4d2d3d5e5++a3d1d2d3d4d5++a3a4d2d3d4d5++a1b3c5d2d3++b3c5d2d3e5++a1a3b3d2d3++a3b3d2d3e5++a3b3d2d3d4++a1a2b5c5d1d2e4++a2b5c5d1d2e4e5++a1a2a3b5d1d2e4++a2a3b5d1d2e4e5++a2a3b5d1d2d4e4++a1a2c5d1d2d3++a2c5d1d2d3e5++a1a2a4c5d2d3++a2a4c5d2d3e5++a1a2a3d1d2d3++a2a3d1d2d3e5++a1a2a3a4d2d3++a2a3a4d2d3e5++a2a3d1d2d3d4++a2a3a4d2d3d4++b1b2b5c5d1d2d5++b1b2c4c5d1d2++a4b1b2c4c5d2++b2c4c5d1d2e4++a4b2c4c5d2e4++b1b2b3b5c5d2++b2b3b5c5d2e4++b2c5d1d2d3d5++a4b2c5d2d3d5++b2b3c5d2d3++a2b2b5c5d1d2e4++a2b2c5d1d2d3++a2a4b2c5d2d3++a1b5c2c5d2d5++b5c2c5d2d5e5++a1c2c4c5d2++c2c4c5d2e5++a1a3b5c2d2d5++a3b5c2d2d5e5++a3b5c2d2d4d5++a1a3c2c4d2++a3c2c4d2e5++a3c2c4d2d4++a1a2b5c2c5d2++a2b5c2c5d2e5++a1a2a3b5c2d2++a2a3b5c2d2e5++a2a3b5c2d2d4++b2b5c2c5d2d5++b2c2c4c5d2++a2b2b5c2c5d2++a1a4b1c1c5d5e1e2++a1a4a5b1c1c5d5e2++a4b1c1c5d5e1e2e5++a4a5b1c1c5d5e2e5++a4b1c1d4d5e1e2++a4a5b1c1d4d5e2++a4b1b4c1d4d5e2++a3a4b1d4d5e1e2++a3a4a5b1d4d5e2++a1b1b3c1c5e1e2++a1a5b1b3c1c5e2++b1b3c1c5e1e2e5++a5b1b3c1c5e2e5++b1b3c1d4e1e2++a5b1b3c1d4e2++b1b3b4c1d4e2++a1b3c1c5e1e2e4++a1a5b3c1c5e2e4++b3c1c5e1e2e4e5++a5b3c1c5e2e4e5++b3c1d4e1e2e4++a5b3c1d4e2e4++b3b4c1d4e2e4++a3b1b3d4e1e2++a3a5b1b3d4e2++a3b3d4e1e2e4++a3a5b3d4e2e4++a4b1c1c3c5d5e2++b1b3c1c3c5e2++b3c1c3c5e2e4++a1a4b1b4c1d5e2++a4b1b4c1d5e2e5++a1b1b3b4c1e2++b1b3b4c1e2e5++a1b3b4c1e2e4++b3b4c1e2e4e5++a1a4b1b4d5e2e3++a4b1b4d5e2e3e5++a1a3a4b1d5e1e2e3++a1a3a4a5b1d5e2e3++a3a4b1d5e1e2e3e5++a3a4a5b1d5e2e3e5++a1b1b3b4e2e3++b1b3b4e2e3e5++a1b3b4e2e3e4++b3b4e2e3e4e5++a1a3b1b3e1e2e3++a1a3a5b1b3e2e3++a3b1b3e1e2e3e5++a3a5b1b3e2e3e5++a1a3b3e1e2e3e4++a1a3a5b3e2e3e4++a3b3e1e2e3e4e5++a3a5b3e2e3e4e5++a3a4b1c3d5e2e3++a3b1b3c3e2e3++a3b3c3e2e3e4++a1a2a4c1c5e1e2e4++a1a2a4a5c1c5e2e4++a2a4c1c5e1e2e4e5++a2a4a5c1c5e2e4e5++a2a4c1d4e1e2e4++a2a4a5c1d4e2e4++a2a4b4c1d4e2e4++a2a3a4d4e1e2e4++a2a3a4a5d4e2e4++a2a4c1c3c5e2e4++a1a2a4b4c1e2e4++a2a4b4c1e2e4e5++a1a2a4b4e2e3e4++a2a4b4e2e3e4e5++a1a2a3a4e1e2e3e4++a1a2a3a4a5e2e3e4++a2a3a4e1e2e3e4e5++a2a3a4a5e2e3e4e5++a2a3a4c3e2e3e4++a4b1b2c5d5e1e2++a4a5b1b2c5d5e2++b1b2b3c5e1e2++a5b1b2b3c5e2++b2b3c5e1e2e4++a5b2b3c5e2e4++a4b1b2d5e1e2e3++a4a5b1b2d5e2e3++a4b1b2b4d5e2e3++b1b2b3e1e2e3++a5b1b2b3e2e3++b1b2b3b4e2e3++b2b3e1e2e3e4++a5b2b3e2e3e4++b2b3b4e2e3e4++a2a4b2c5e1e2e4++a2a4a5b2c5e2e4++a2a4b2e1e2e3e4++a2a4a5b2e2e3e4++a2a4b2b4e2e3e4++a1c1c2c5d5e1e2++a1a5c1c2c5d5e2++c1c2c5d5e1e2e5++a5c1c2c5d5e2e5++c1c2d4d5e1e2++a5c1c2d4d5e2++b4c1c2d4d5e2++a3c2d4d5e1e2++a3a5c2d4d5e2++c1c2c3c5d5e2++a1b4c1c2d5e2++b4c1c2d5e2e5++a1b4c2d5e2e3++b4c2d5e2e3e5++a1a3c2d5e1e2e3++a1a3a5c2d5e2e3++a3c2d5e1e2e3e5++a3a5c2d5e2e3e5++a3c2c3d5e2e3++a1a2c1c2c5e1e2++a1a2a5c1c2c5e2++a2c1c2c5e1e2e5++a2a5c1c2c5e2e5++a2c1c2d4e1e2++a2a5c1c2d4e2++a2b4c1c2d4e2++a2a3c2d4e1e2++a2a3a5c2d4e2++a2c1c2c3c5e2++a1a2b4c1c2e2++a2b4c1c2e2e5++a1a2b4c2e2e3++a2b4c2e2e3e5++a1a2a3c2e1e2e3++a1a2a3a5c2e2e3++a2a3c2e1e2e3e5++a2a3a5c2e2e3e5++a2a3c2c3e2e3++b2c2c5d5e1e2++a5b2c2c5d5e2++b2c2d5e1e2e3++a5b2c2d5e2e3++b2b4c2d5e2e3++a2b2c2c5e1e2++a2a5b2c2c5e2++a2b2c2e1e2e3++a2a5b2c2e2e3++a2b2b4c2e2e3++a1a4b1c5d2d5e2++a4b1c5d2d5e2e5++a1a3a4b1d2d5e2++a3a4b1d2d5e2e5++a3a4b1d2d4d5e2++a1b1b3c5d2e2++b1b3c5d2e2e5++a1b3c5d2e2e4++b3c5d2e2e4e5++a1a3b1b3d2e2++a3b1b3d2e2e5++a3b1b3d2d4e2++a1a3b3d2e2e4++a3b3d2e2e4e5++a3b3d2d4e2e4++a1a2a4c5d2e2e4++a2a4c5d2e2e4e5++a1a2a3a4d2e2e4++a2a3a4d2e2e4e5++a2a3a4d2d4e2e4++a4b1b2c5d2d5e2++b1b2b3c5d2e2++b2b3c5d2e2e4++a2a4b2c5d2e2e4++a1c2c5d2d5e2++c2c5d2d5e2e5++a1a3c2d2d5e2++a3c2d2d5e2e5++a3c2d2d4d5e2++a1a2c2c5d2e2++a2c2c5d2e2e5++a1a2a3c2d2e2++a2a3c2d2e2e5++a2a3c2d2d4e2++b2c2c5d2d5e2++a2b2c2c5d2e2