Числовой способ

Табличный способ

Словесный способ

Логические функции

Логической функцией называется функция f (x 1, x 1,...,x n), которая, так же как и ее аргументы, может принимать только два значения (0 и 1).

Совокупность значений аргументов будем называть набором. Каждому набору присваивается номер N, равный двоичному числу, образованному значениями аргументов на этом наборе. Условимся, что младшему разряду этого числа соответствует значение аргумента со старшим индексом, и наоборот.

где n - общее число переменных.

Например, пусть логическая функция зависит от трех переменных f(x1,x2,x3). Тогда набор x1=1, x2=1, x3=0 будет иметь номер.

При словесном способе алгоритм задается в произвольном изложении на естественном языке. Недостаток этого способа состоит в том, что алгоритм строго не формализуем, многословен, допускает неоднозначности. Однако данный способ изложения алгоритма не требует специальных знаний и может применяться конечными пользователями. Именно на этом языке, как правило, сообщается неформальная постановка задачи на этапе формализации и он же может быть использован для представления результата первого этапа.

Как правило, именно этот способ используют при объяснении какой-либо задачи преподаватели, сопровождая его рисунками, схемами, графиками и т.д. Несмотря на указанные недостатки данного способа, он наиболее привычен и без него не обходится практически ни одна постановка задачи, поэтому примеров его использования можно найти множество в процессе обучения студента и в повседневной жизни.

Запись вычислительного алгоритма в форме таблицы широко используется при организации вычислений по формуле с пооперационной регистрацией промежуточных результатов. В этом случае расписка формулы на последовательность элементарных действий, обеспечиваемых имеющимися в наличии вычислительными средствами, есть не что иное, как определение последовательности шагов (указаний) вычислительного алгоритма. Табличная форма записи алгоритма особенно удобна тогда, когда требуется вычислять не одно, а несколько значений одного и того же выражения для различных значений входных величин.

Цифровой способ задания логических функций реализуется посредством записи функции в виде совокупности рабочих, запрещённых и условных наборов аргументов. Условными наборами аргументов называются наборы, на которых значение функции не определено или нас не интересует. При цифровом способе задания функции f, (Рисунок 2.2) будут записаны в виде:

;

Если у функции отсутствуют условные наборы, то указываются только рабочие наборы данной функции. Например, функция (Рисунок 2.2) при цифровом способе задания может быть записана в виде:

= (0,2,8 – 11,13,15).