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

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

Определение логической формулы:

1. Всякая логическая переменная и символы "истина" ("1") и "ложь" ("0") — формулы.

2. Если А и В — формулы, то , А ^. В , А v В , А B , А В — формулы.