ハードウェアの課題で、ある回路に対する真理値表を書かせる問題がありました。 例えば、 harf_addr := (a b)(o s) { (xor (a b) o) (and (a b) s) } のような回路があれば、 (a b o s) = (0,0,0,0), (0,1,1,0) (1,0,1,0) (1,1,1,1) という出力がほしいわけ…