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

Определение.

Определение.

Определение.

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

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

О формуле, задающей функцию, говорят также, что она реализует или представляет эту функцию.

В отличие от табличного задания представление булевой функции формулой не единственно.

Формулы, представляющие одну и ту же функцию, называются эквивалентными или равносильными.

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

Пример. Равносильные функции или .

Важнейшие примеры равносильных функций: равносильно ; равносильно ; равносильно ; равносильно ; равносильно ; равносильно ; равносильно ; равносильно .

Чтобы выяснить, являются ли данные формулы эквивалентными (равносильными), существует, по крайней мере, два метода:

- стандартный метод (построение таблицы функции);

- метод эквивалентных преобразований формул.

Дата добавления: 2014-10-22