發送短信 : Considering circuit observability don't cares in CNF satisfiability

  ____      ______             _    _    ______   
 |  _ \\   /_   _//     ___   | || | || |      \\ 
 | |_| ||   -| ||-     /   || | || | || |  --  // 
 | .  //    _| ||_    | [] || | \\_/ || |  --  \\ 
 |_|\_\\   /_____//    \__ ||  \____//  |______// 
 `-` --`   `-----`      -|_||   `---`   `------`  
                         `-`