Логические переменные

Логические переменные [lo­gi­cal variables] — знаки и фор­мулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции.