[[TableOfContents]]
= 예정 =
 * satisfaction of formula
 * model, model set
 * logical consequence
 * substitute, replace
 * DNF, CNF
= 기타 / 후기 / 방명록 =

-----------------------------------

[로지칼씽킹]