feat(hw3): implement readInput method
feat(hw3): add method stubs
feat(hw3): complete CnfCircuit implementation