1) Small disjuncts
小析取项
2) Minimal disjunctive form
极小析取范式
3) DNF minimization
析取范式极小化
4) extract
[英][iks'trækt] [美][ɪk'strækt]
析取
1.
By sending the file information through HTML form, the Action on the server side extract the file from multipart stream and store it into the database.
针对实际应用的问题,提出一种基于数据库的文件上传方法,该方法通过表单提交文件信息,服务器端程序从多域数据流析取文件内容并直接写入数据库。
2.
In this solution, the file information is sent in the browser side via filling of HTML form, and extracted from multipart stream in the server side, and stored as binary stream into the BLOB field of database.
该方法通过表单提交文件信息,从多域数据流析取文件内容,并以二进制方式存入数据库的BLOB字段,从而实现文件上传。
5) disjunctive
[英][dis'dʒʌŋktiv] [美][dɪs'dʒʌŋktɪv]
析取
1.
A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。
2.
The definition of complete f-disjunctive and quasi-complete f-disjunctive languages are presented and their algebric characterestics are also discusse
给出了完全ｆ－析取语言和拟完全ｆ－析取语言的定义，讨论了它们的代数性质。
6) disjunction
[英][dɪs'dʒʌŋkʃn] [美][dɪs'dʒʌŋkʃən]
析取
1.
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义,同时分析它们的形式和用法。
补充资料：析取
析取
uwpunfcjp
析取{击劝.以如.，几。肠。，哪司 由两个命题A和B构成一个命题“A或B”的一种逻辑运算.形式语言中，两个命题A和B的析取表示为AVB.命题A和B都称为命题AVB的析取项(disjUn加姆妞m‘).析取的意义由如下真假值表(trUth助卜)表示: 厂 B.E.n几那Ko撰沈复兴译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条