Формулы

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

Перечислим правила построения формул.

1. Всякая переменная, быть может с индексами, - это формула. Логические константы 0 и 1 - это формулы.

2. Если формула, то и это формулы.

3. Если и формулы, то , , это формулы.

4. Других формул нет.

Пример. Последовательности символов - это формулы. Последовательность формулой не является.

Всякая формула определяет некоторую логическую функцию, по-другому говорят, что формула реализует некоторую логическую функцию. За каждой формулой скрыта таблица истинности. Поэтому нужно уметь вычислять значение формулы во всякой строке таблицы истинности, на всяком наборе значений ее аргументов. Порядок вычисления значения формулы определяется скобками. Если скобок нет, значение формулы вычисляется слева направо в соответствии со старшинством операций. Иерархия операций (в порядке убывания старшинства) задается так: ,(&, |, ↓),, →, (~, ). В скобках указаны равносильные операции.

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

Утверждение. Каковы бы ни были формулы x, y, z справедливы следующие равносильности

1. xx = x; x&x = x (идемпотентность);

2. xy = yx; x&y = y&x (коммутативность);

3. x(yz) = (xy)z; x&(y&z) = (x&y)&z (ассоциативность);

4. (x&y) x = x; (xy)&x = x (законы поглощения);

5. x(y&z) = (xy)&(xz); x&(yz) = (x&y)(x&z) (законы дистрибутивности);

6. x1 = 1; x&1 = x (свойства единицы);

7. x0 = x; x&0 = 0 (свойства нуля);

8. (инволютивность);

9. (законы де Моргана);

10. (свойства дополнения).

Замечание. Для упрощения обозначений символ коньюнкции & часто опускается, вместо x&y пишут просто xy.

Другие полезные равносильности:

= x|y =.

Доказательство проводится построением соответствующих таблиц истинности.