Логические формулы:

1) Используют операторы арифметических действий, содержат результаты вычисления- формулы.

2) Содержат операторы сравнения, определяют истинность, логичность выражения.

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

4) Сохранение файлов, загрузки файлов.

5) Истина, ложь.