switching algebra