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