module  fa_inst {
   input    a,b,ci ;
   output   sum,co ;
   instrin  do ;

   instruct do par {
      any {
         ^a & ^b & ^ci : sum = 0b0 ;
         ^a & ^b &  ci : sum = 0b1 ;
         ^a &  b & ^ci : sum = 0b1 ;
         ^a &  b &  ci : sum = 0b0 ;
          a & ^b & ^ci : sum = 0b1 ;
          a & ^b &  ci : sum = 0b0 ;
          a &  b & ^ci : sum = 0b0 ;
          a &  b &  ci : sum = 0b1 ;
         }
      any {
         ^a & ^b & ^ci : co  = 0b0 ;
         ^a & ^b &  ci : co  = 0b0 ;
         ^a &  b & ^ci : co  = 0b0 ;
         ^a &  b &  ci : co  = 0b1 ;
          a & ^b & ^ci : co  = 0b0 ;
          a & ^b &  ci : co  = 0b1 ;
          a &  b & ^ci : co  = 0b1 ;
          a &  b &  ci : co  = 0b1 ;
         }
      }
   }