propositional variable

University, Tallinn, Estonia, pp.75-81. 充足可能性問題 データ構造 モデル検査 否定標準形 (NNF) en:Propositional directed acyclic graph (PDAG) 基数木 H. Andersen "An Introduction to Binary