Информация, информатика, информационные технологии: 1.6.1. Алгебра высказываний