Фриланс-проекты › Технология решения логико-комбинаторных задач на ЭВМ Технология решения логико-комбинаторных задач на ЭВМ

РАБОТА С ДВОИЧНЫМИ (БИНАРНЫМИ) ДАННЫМИ. БУЛЕВЫ ВЕКТОРЫ И МАТРИЦЫ. ТРОИЧНЫЕ ВЕКТОРЫ И МАТРИЦЫ

Матрица называется булевой, если ее элементы принимают значения 0 и 1. Булеву матрицу (БМ) можно представить в a-канонической форме (в исходной матрице удалены повторяющиеся строки; строки составлены в порядке возрастания неотрицательных чисел, в качестве двоичных кодов которых рассматриваются данные строки).

Некоторая функция y= f(x₁, … , x_n) называется булевой, если ее аргументы и она сама принимают значения 0 и 1.

Булеву функцию (БФ) можно представить в виде БМ, столбцы которой соответствуют аргументам БФ, а строки представляют собой наборы значений аргументов, на которых функция принимает значение 1.

Матрица называется троичной, если ее элементы принимают значения 0, 1 и -.

Булеву функцию можно представить в виде дизъюнктивной нормальной формы (ДНФ) – дизъюнкции нескольких конъюнкций.

Конъюнкцию можно представить в виде троичного вектора размерности n. Соответствующий элемент вектора принимает значение 1, если переменная входит в конъюнкцию в прямом виде (без отрицания); 0, если переменная входит в конъюнкцию с отрицанием; - , если переменная не входит в конъюнкцию.

Булеву функцию (БФ) можно представить в виде троичной матрицы (ТМ), столбцы которой соответствуют аргументам БФ, а строки – конъюнкциям ДНФ функции.

Сделать желательно на Java
Все условия в прикреплённом файле, наше задание 11, оно там единственное