这是命令 abl，可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
阿布 - 布尔函数的前缀表示
商品描述
libabmmmm.a 是一个能够以类似 LISP 的形式表示布尔函数的库。
ABL 是具有标准的布尔函数的带前缀的内部表示
运算符为 OR、NOR、NAND、XOR、NOT 和 AND。 ABL 仅由双峰组成。 双峰是
由功能性可访问的两个字段组成 ＃定义 汽车 和 CDR。 一个
doublet 是用 MBK 实现的 链表.
口语 是由 ABL 表示的布尔函数的通用术语。 一种表达
可以是原子表达式或运算符表达式。 功能 f = a 被代表
由原子表达式而 f = （或 a b) 由运算符表达式表示。 一个
原子表达式由单个双峰组成 下一页 指针等于 NULL 和
数据 指针等于标识符指针。 一个常量原子表达式是一个原子
以字符串“'0'”或“'1'”作为标识符的表达式。
运算符表达式比原子表达式更复杂。 这是一个列表
项，第一项是表达式的头运算符，后面的项是
表达式的参数。 可以通过调用
功能性的 ＃定义 CDR. 然后每个参数都可以被函数访问 ＃定义 汽车.
参数可以递归地是原子或运算符表达式。 一个的数量
运算符表达式是第一级参数的数量。
函数分为两组，低级函数用 ＃定义
和用于管理 ABL 内部表单，高级函数用于管理
布尔表达式。 所有函数都在文件“prefbib.c”中定义（＃定义 in
“logmmm.h”）。
功能性 ＃定义
ATOM - 检查表达式的类型（原子或运算符表达式）。
汽车 - 返回 数据 双峰的指针。
计算机辅助设计 - 返回 数据 的指针 下一页 双峰的指针。
CDR - 返回 下一页 双峰的指针。
操作员 - 返回运算符表达式的运算符号。
VALUE_ATOM - 返回关联的 坦克 * 的原子表达式。
主要工作内容 和 程序
添加HExpr - 在运算符表达式的开头添加新参数。
添加QExpr - 在运算符表达式的队列中添加新参数。
任意表达式 - 返回应用于结果的逻辑 OR 的值
函数在运算符表达式的参数上的应用。
更改操作表达式 - 更改表达式头部的运算符。
字符操作 - 将操作符字符串转换为操作符编号。
复制表达式 - 复制一个表达式。
创建原子 - 创建一个原子表达式。
创建BinExpr - 创建一个二元运算符表达式，最终合并
运营商。
创建表达式 - 创建运算符表达式的头部。
删除数字表达式 - 删除运算符表达式中的第 i 个参数。
devXor2Expr - 将 XOR 2 转换为 OR-AND。
devXorExpr - 删除表达式中的 XOR。
显示表达式 - 以前缀表示法显示表达式。
显示信息表达式 - 以中缀表示法显示表达式。
等值表达式 - 检查两个表达式是否严格相等。
等值变量表达式 - 检查两个表达式在语法上是否相等。
每个Expr - 返回应用于结果的逻辑 AND 的值
函数在运算符表达式的参数上的应用。
表达式转字符 - 将表达式转换为字符串。
字符到表达式 - 将字符串转换为表达式。
平面ArityExpr - 展平表达式的运算符。
平极性表达式 - 将表达式的逆变器转换为原子级别
表达式。
自由快递 - 释放表达式。
标识符 - 给出来自运算符表达式的标识符。
长度表达式 - 返回表达式中的参数数量。
地图CarExpr - 通过对所有参数应用一个函数来创建一个新的表达式
运算符表达式。
映射表达式 - 将过程应用于运算符表达式的所有参数。
最大表达式 - 返回运算符表达式的最高参数。
最小表达式 - 返回运算符表达式的最低参数。
标准表达式 - 规范化一个表达式。
非表达式 - 对表达式进行补充并最终进行简化。
数字原子表达式 - 返回表达式中的原子数。
数字OccExpr - 返回原子出现在表达式中的次数。
numberOperBinExpr - 返回表达式中等效二元运算符的数量。
操作符 - 将运算符号转换为运算符字符串。
教授经验 - 返回表达式的深度。
教授AOExpr - 返回表达式的深度而不考虑反相器
帐户。
搜索表达式 - 在表达式中搜索特定原子。
搜索数字表达式 - 获取运算符表达式中的第 i 个参数。
搜索操作表达式 - 在表达式中搜索运算符。
simplif10Expr - 对表达式进行简化，包括常量原子
表达式。
简化非表达式 - 对包含逆变器的表达式进行简化。
排序表达式 - 对表达式进行排序。
子表达式 - 通过用表达式替换给定原子来复制表达式。
substPhyExpr - 用原子表达式替换原子表达式
表达。
supportChain_listExpr
- 返回一个表达式的支持 链表.
支持Ptype_listExpr
- 返回一个表达式的支持 ptype_list.
wPM表达式 - 如果模式匹配在两个之间是可能的，则返回 1
表达式。
使用 onworks.net 服务在线使用 abl
