Алгебра логики, Возникновение логики - Алгебра логики Определение булевой алгебры аксиомы примеры