(is (= (gr/calc gr-fa '{a 0, b 0, cin 1}) '{s 1, cout 0}))
(is (= (gr/calc gr-fa '{a 1, b 0, cin 1}) '{s 0, cout 1}))
(is (= (gr/calc gr-fa '{a 0, b 1, cin 1}) '{s 0, cout 1}))
- (is (= (gr/calc gr-fa '{a 1, b 1, cin 1}) '{s 1, cout 1}))
- ))
+ (is (= (gr/calc gr-fa '{a 1, b 1, cin 1}) '{s 1, cout 1})))
+ (let [gr-ha (gr/remove-nin-nodes gr-ha)]
+ (is (= (gr/calc gr-ha '{a 0, b 0}) '{s 0, cout 0}))
+ (is (= (gr/calc gr-ha '{a 1, b 0}) '{s 1, cout 0}))
+ (is (= (gr/calc gr-ha '{a 0, b 1}) '{s 1, cout 0}))
+ (is (= (gr/calc gr-ha '{a 1, b 1}) '{s 0, cout 1})))
+)
; __
; ?i1 --------------------| \