キーワード : 3値論理


矛盾した知識集合からの3値論理による推論
太原 育夫 延澤 志保 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/05/01
Vol. J88-D1  No. 5 ; pp. 969-976
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
矛盾した知識3値論理U-最小モデル論理的帰結関係極小矛盾集合
 あらまし | 本文:PDF(192.4KB)

入力の一部が不明である場合の論理関数のハードウェアを用いた 評価法
井口 幸洋 笹尾 勤 松浦 宗寛 伊勢野 総 
誌名:   電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1  No. 7 ; pp. 834-842
論文種別:  特集論文 (テストと設計検証論文特集)
専門分野: 設計検証
キーワード: 
論理シミュレーション3値論理Kleene論理FPGA
 あらまし | 本文:PDF(731KB)

静的論理ハザードの構成問題とその最小化
井口 幸洋 向殿 政男 
誌名:   電子情報通信学会論文誌 D
発行日: 1993/12/25
Vol. J76-D1  No. 12 ; pp. 655-665
論文種別:  論文
専門分野: 計算機構成要素
キーワード: 
論理ハザード関数ハザード論理回路3値論理論理合成
 あらまし | 本文:PDF(753.6KB)