P2BKH A BGH ALA AB ABCH A BG AFG ABQ ABCX Solution1 Eliminat
     P2=-BKH A BGH ALA AB ABCH A BG+ AFG+ ABQ ABCX   
  
  Solution
1.
 Eliminating common terms,
 Da = A\'BC\'X\' + AB\'C\'X\' + AB\'CX\' + ABC\'X\' + ABCX\'
 = X\'.((A\'+A)BC\' + (C\'+C)AB\' + ABC)
 = X\'.(1.BC + 1.AB\' + ABC)
 =X\'.((1 + A)BC + AB\')
 =X\'.(BC + AB\')
 =BCX\' + AB\'X\'
 2.
 Eliminating common terms,
 Db = A\'B\'CX\' + A\'BC\'X\' + A\'BCX\' + AB\'CX\' + ABC\'X\' + ABCX\'
 =X\'.((A\' + A)B\'C + (A\' + A)BC\' + (A\' + A)BC)
 =X\'.(1.B\'C + 1.BC\' + 1.BC)
 =X\'.((B\' + B)C + BC\')
 =X\'.(C + BC\')
 =X\'.C
 =CX\'
 3.
 Dc = A\'B\'C\'X\' + A\'B\'CX\' + A\'BC\'X\' + A\'BCX\' + AB\'C\'X\' + AB\'CX\' + ABC\'X + ABCX\'
 =X\'.((C + C\')A\'B\' + (C + C\')A\'B + (C\' + C)AB\' + (C\' + C)AB)
 =X\'.(A\'(B + B\') + A(B\' + B))
 =X\'.(A\' + A)
 =X\'

