Input:

 
                                                                                                     
 Output:

 SOP  Factored  BDD  XNF