Логические переменные таблицы истинности