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

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

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

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

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