Законы математической логики

(И.Санников) Пусть P – множество всех 16-битовых цепочек, начинающихся с 01, Q – множество всех 16-битовых цепочек, оканчивающихся на 1, а A – некоторое множество произвольных 16-битовых цепочек. Сколько элементов содержит минимальное множество A, при котором для любой 16-битовой цепочки x истинно выражение

(x∈Q) → ((x∈P) ∨ (x∈A))