В каких сферах деятельности применяются логические функции?

Например:
Программирование.
Проектирование схем в цифровой вычислительной технике.
Моделирование логических выводов в аксиоматических теориях (исчисление высказываний, исчисление предикатов...).