3SAT Solver using Spencer-Brown's Laws of Form