для своих этюдов я предварительно пишу пруф код, так что надеюсь, в подобную ситуацию не попаду

да, и здесь Вы правы, можно было придраться )

сразу после написал Вам, что Вы решили правильно, но видимо, не засабмитил комментарий )
видно, перепутал кнопки предпросмотр и написать

я никогда не пользовался ником бананафиш
в данном случае нельзя заменить на bool b = (bool);, смотрите решение )

я утверждаю, что не скомпилируется код
bool? x = true;
bool b = x? true: false;

я также утверждаю, что такой код скомпилируется:
bool x = true;
bool b = x;

но обе эти ситуации не имеют отношения к этюду

браво! Ваше решение засчитывается, но я предполагал кастомный класс, а о том, что подобное есть во фреймворке, даже не подозревал. все-таки не настолько сферический конь )

сможете обобщить ситуацию и указать, что особенного есть в SqlBoolean?

смотрите выше, при Nullable код просто не скомпилируется

ждем-с )

необходимость в том, что нельзя написать bool b=x;
решение что х типа bool? первое, которое приходит всем в голову, но в таком случае указанный код не скомпилируется