The size of formula F, denoted by F, is the total number of symbols in F. The formula size (circuit size) of formula F, denoted by f(F) (c(F)), ...
確定! 回上一頁