В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...

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