a ^ b (LOP3.LUT 0x3c: the third input unused)
66def irsExclusiveOr =
67 (lambda unrestricted destination : Nat . (lambda unrestricted left : Nat . (lambda unrestricted right : Nat . (lambda unrestricted control : (family SM86Control) .
68 (constructor SM86InstructionBody SM86LogicThreeInputTruthTable (lsR destination) (lsR left) (lsR right) (byte 60) control)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.