Ниже приведём результат раскрытия скобок, красным выделены те слагаемые (элементарные конъюнкции), в которых все индексы разные, как требуется по условию задачи:
В качестве Упражнения предлагайте свои варианты текстовых задач, решаемых с использованием математического аппарата алгебры логики.
