SAT Algebra