Что такое логическое выражение?Какие значения оно принимает?

Логическое выражение - это логическое высказывание, записанное с помощью переменных или констант, объединенных логическими функциями (инверсия, конъюнкция, дизъюнкция и т.д...)Пример:1) (A->B)+(не A -> не B)2) (не A - > B)* (A -> не B)