Processing of Logical Expressions for Visually Impaired Users · Study