Simple logic solvers