For every natural number n ≥ 4 there are exactly 4 non-abelian groups (up to isomorphism) of order 2 n , with a subgroup of index 2. In this article, we are going to illustrate all of these groups properties and axioms using Groups, Algorithms and Programming GAP.