マル一日かかった結果が。

これ出力しておわりですか(泣
universal_gate気持ち悪いね。
蜂の巣みたい。

> o;;
*1
> truth_table full_addr;;
a b c | o s

0 0 0 | 0 0
1 0 0 | 1 0
0 1 0 | 1 0
1 1 0 | 0 1
0 0 1 | 1 0
1 0 1 | 0 1
0 1 1 | 0 1
1 1 1 | 1 1

> universal_gate s;;
((((a nand b) nand (a nand b)) nand *2 nand *3 nand *4 nand *5 nand *6 nand (((((((a nand b) nand (a nand b)) nand *7 nand *8 nand *9 nand *10
> dnf s;;
(((a and b and ~c) or (a and ~b and c) or (~a and b and c) or (a and b and c))
> critical_path full_addr;;
3

*1:a xor b) xor c) > s;; (((a and b) or ((a xor b) and c

*2:a nand b) nand (a nand b))) nand ((((((((a nand b) nand (a nand b

*3:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b))) nand ((((a nand b) nand (a nand b

*4:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b)))) nand c) nand ((((((a nand b) nand (a nand b

*5:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b))) nand ((((a nand b) nand (a nand b

*6:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b)))) nand c

*7:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b))) nand ((((a nand b) nand (a nand b

*8:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b)))) nand c) nand ((((((a nand b) nand (a nand b

*9:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b))) nand ((((a nand b) nand (a nand b

*10:a nand b) nand (a nand b))) nand ((a nand a) nand (b nand b)))) nand c)))) > dnf o;; (((a and ~b and ~c) or (~a and b and ~c) or (~a and ~b and c) or (a and b and c