Логические высказывания и переменные: основы и примеры