1. 예정

  • satisfaction of formula
  • model, model set
  • logical consequence
  • substitute, replace
  • DNF, CNF

2. 기타 / 후기 / 방명록

Retrieved from http://wiki.zeropage.org/wiki.php/로지칼씽킹/10_4
last modified 2021-02-16 14:07:49