For a) we assume $c=0\in{\mathbb R}^{n+1}$ and $P$ in the hyperplane $x_{n+1}=-1$. Let $V=\{(v_i,-1)|1\leq i\leq N\}$ be the vertex set of $P$; then $W=\{(-v_i,1)|1\leq i\leq N\}$ is the vertex set of a polytope $\hat P$ symmetrically congruent to $P$ in the hyperplane $x_{n+1}=1$.
Any point $x\in \bar P:={\rm conv}(V\cup W)$ can be written in the form $x=\sum_{i=1}^N \lambda_i (v_i,-1) +\sum_{i=1}^N \lambda'_i (- v_i,1)$ with all $\lambda_i$, $\lambda'_i\geq0$ and $\sum_{i=1}^N (\lambda_i+\lambda'_i)=1$.
If $\lambda':=\sum_{i=1}^N\lambda'_i=0$ then $\lambda:=\sum_{i=1}^N\lambda_i=1$ and $x=\sum_{i=1}^N\lambda_i (v_i,-1)\in P\ .$ By assumption on $P$ a point $x\in P$ is not extremal in $P$ (whence in $\bar P$), unless $x$ is a point of $V$. Similarly: If $\lambda=0$ then $x\in \hat P$, and $x$ is not extremal in $\bar P$ unless $x\in W$. Finally, if $\lambda$ and $\lambda'$ are both $>0$ then $x$ is an inner point of a segment $[y,y']$ with $y\in P$,$\ y'\in\hat P$, and is not extremal in $\bar P$ either. Altogether we have shown that the vertex set $E$ of $\bar P$ is contained in $V\cup W$.
Conversely: Consider a point $v\in V$ and assume that it is an inner point of a segment $[a,b]$ with $a$, $b\in \bar P$. One has $a=\sum_{i=1}^N \lambda_i (v_i,-1) +\sum_{i=1}^N \lambda'_i (- v_i,1)\ ,\qquad b=\sum_{i=1}^N \mu_i (v_i,-1) +\sum_{i=1}^N \mu'_i (- v_i,1)\ .$ If a single $\lambda_i'$ or $\mu_i'$ would be $>0$ the last coordinate of $v$ could not be $-1$. Therefore $\lambda'=\mu'=0$ and $\lambda>0$, $\ \mu>0$; in particular $a$, $b\in P$. It follows that the point $v\in V$ would not be an extremal point of $P$, contrary to assumption on $P$. Argue similarly for a point $v'\in W$.
That is to say that the answer to your question a) is Yes.
For b) we assume $P$ in the hyperplane $\langle e_1,\ldots, e_n\rangle$ and choose $e_{n+1}:=c$. Then changing $c$ to $c':=\sum_{i=1}^n \alpha_i e_i + \sigma e_{n+1}$, $\ \sigma\ne0$, and constructing $\bar P$ anew amounts to an affine map $T:\ {\mathbb R}^{n+1}\to {\mathbb R}^{n+1}$ with $T(e_i)=e_i \quad(1\leq i\leq n),\qquad T(e_{n+1})=c'\ .$ From the way $\bar P$ is constructed it is obvious that $T(P)$ has the same combinatorial structure as $\bar P$.