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