逻辑变量和逻辑函数（Logic Variable）

Examples of verified algorithms

1. 删除数组元素（Delete an Element from an Array）
2. 二叉搜索树的节点删除（Delete a Node in the Binary Tree *）
3. 二叉搜索树的节点插入（Insert a Node to the Binary Tree）
4. 冒泡排序（可置换性）（Bubble Sort with Permutability Predicate）
5. 循环双向链表的删除（Delete a Circular Doubly Linked List）
6. 求最大公约数（Find Greatest Common Divisor）
7. 荷兰国旗问题（Dutch National Flag Problem）
8. 矩阵乘法（Matrix Multiplication）
9. 数组最小和截断问题（Minimal Sum Section）
10. 最短路径问题（The Shortest Path）
11. 字符串字符查找（1）（Search for Character）
12. 字符串比较（1）（Compare Strings）
13. 字符串匹配（Match Strings）