أرسل هذا في رسالة قصيرة: DECIDABILITY OF FIRST ORDER LOGIC OF BOOLEAN ALGEBRAS

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