Числовой способ
Табличный способ
Словесный способ
Логические функции
Логической функцией называется функция 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).