로지칼씽킹/10 4

From ZeroWiki

Revision as of 14:07, 16 February 2021 by imported>Unknown

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

예정

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

기타 / 후기 / 방명록

로지칼씽킹

Retrieved from "https://mediawiki.zeropage.org/index.php?title=로지칼씽킹/10_4&oldid=50096"