Lines Matching defs:b1
29 else if (node = "b1") then X
35 Xnor (s "a1")(s "b1")
40 (Xnor (s "a1")(s "b1"))
58 else if (node = "b1") then X
60 else if (node = "i1") then Xnor (s "a1")(s "b1")
86 val b1 = (T, "b1", ``b1:bool``, 0, 1);
87 val out = (T, "out", ``xnor a0 b0 /\ xnor a1 b1``, 1, 2);
88 val A = TF [a0,a1,b0,b1] ;
105 ("a1" is a1) and ("b1" is b1)
106 ==>> ("out" is 1) when (xnor a0 b0 /\ xnor a1 b1)
109 A2 = ("a1" is a1) and ("b1" is b1) from 0 to 1
113 G2 = (a1=b1)
176 ("a1" is a1) and ("b1" is b1)
177 ==>> ("out" is 1) when ((a0=b0) /\ (a1=b1))