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

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