SAT algebra