逻辑运算是在寄存器中保存的位上实现的二进制微运算。这些操作独立处理每一位并将它们创建为二进制变量。
例如,与两个寄存器 R1 和 R2 的内容的异或微操作由语句表示
P: R1←R1$\oplus$R2
它决定了在控制变量 P = 1 支持的寄存器的单个位上实现的逻辑微操作。考虑到每个寄存器有四位。设 R1 的内容为 1010,R2 的内容为 1100。
上述异或微操作代表以下逻辑计算 -
1010 Content of R1 1100 Content of R2 0110 Content of R1 after P = 1
R1 的内容,在微操作执行后,类似于对 R2 中的位对和 R1 之前的值进行逐位异或运算。
特殊符号将被批准用于逻辑微运算 OR、AND 和补码,以将它们从可以定义布尔函数的匹配符号中分类。符号V可以表示OR微操作,符号可以表示AND微操作。
补码微操作类似于 1 的补码,并在符号的最高位置支持一个指示注册名称的横杠。符号多种多样,适用于区分逻辑微操作和控制(或布尔)功能。
支持两组符号有另一种意义,可以从逻辑或运算中识别符号 +,何时可以符号算术加。虽然 + 符号有两种含义,但可以通过观察符号出现的位置来确定它们之间的关系。
当符号+出现在微操作中时,表示算术加号。当它出现在一个控件(或布尔)函数中时,它会指示一个 OR 操作。我们不能用它来象征 OR 微操作。
例如,在声明中
P+Q:R1←R2+R3,R 4←R5V R6
P 和 Q 之间的 + 是控制函数的两个二进制变量之间的 OR 运算。R2 和 R3 之间的 + 确定添加微操作。OR 微操作由寄存器 R5 和 R6 之间的符号 V 命名。