ほげ

ハードウェア課題4 (written by OCaml)。何故このページにリンクが無いんだ。

• 回路図表現と出力信号を受け取り入力記号の論理式を出力

halfaddr = (a, b) (o, s) { (xor (a, b) (o)) (and (a, b) (s)) }

• 論理式を受け取り真理値表を出力
• 論理式を受け取りユニバーサルゲートのみで構成された論理式に変換
• 論理式を受け取り主加法標準形に変換
• 論理式を受け取り主乗法標準形に変換
• 回路図表現を受け取りクリティカルパスを出力

関数型言語パワー(リスト＋パターンマッチ)爆発。他の課題をほっぽって先にデバドラ課題をやりたい気持ちに駆られている。9月末締め切りなのに。