أرسل هذا في رسالة قصيرة: Considering circuit observability don't cares in CNF satisfiability

  _____     _____     _____      ___     __   _   
 / ____||  |  ___||  / ____||   / _ \\  | || | || 
/ //---`'  | ||__   / //---`'  | / \ || | '--' || 
\ \\___    | ||__   \ \\___    | \_/ || | .--. || 
 \_____||  |_____||  \_____||   \___//  |_|| |_|| 
  `----`   `-----`    `----`    `---`   `-`  `-`