Основы алгебры логики Законы алгебры логики информатика примеры