Сложные функции

Рассмотренные 11 элементарных функций позволяют строить сложные функции с помощью:

а) изменения номеров аргументов;

б) подстановки в функцию других функций вместо аргументов.

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

Пример 1.

.

Раскрывая скобки и используя старшинство, получим

.

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