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

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

Пример:

1) (A->B) + (не A - > не B)

2) (не A - > B) * (A - > не B)