产品
产品概览
Mathematica
Mathematica 学生版
Mathematica Home Edition
Wolfram
CDF Player
(免费下载)
可计算文档格式(CDF)
web
Mathematica
grid
Mathematica
Wolfram
Workbench
Mathematica
附加程序包
Wolfram|Alpha 产品
解决方案
解决方案概览
工程
航空航天与国防
化学工程
控制系统
电气工程
图像处理
工业工程
材料科学
机械工程
运筹学
光学
石油工程
生物技术与医药
生物信息学
医学影像
金融、统计、商业分析
精算科学
数据分析与挖掘
计量经济学
经济学
金融工程与数学
金融风险管理
统计
软件工程、内容传递
创作与出版
界面开发
软件工程
网页开发
科学
天文学
生物科学
化学
环境科学
地球科学
社会与行为科学
设计、艺术以及娱乐
游戏设计、特殊效果及衍生艺术
教育
STEM 教育倡议
高等教育
高职高专院校
中小学教育
学生
科技
可计算文档格式(CDF)
高性能并行计算(HPC)
参见:技术指南
购买
网上商店
其它购买方式
批量许可及站点许可证
联络销售部
软件
服务
升级
培训
书籍
技术支持
技术支持概览
知识库
学习中心
社区与论坛
培训
确认授权
Wolfram 用户门户
公司概况
关于 Wolfram Research
新闻与活动
Wolfram 博客
合作伙伴
工作机会
Mathematica
的历史
Stephen Wolfram 主页
联系我们
公司网站
全部站点
Wolfram|Alpha
演示项目
MathWorld
Integrator
Wolfram Functions Site
Mathematica Journal
Wolfram Media
Wolfram
Tones
Wolfram Science
Stephen Wolfram
DOCUMENTATION CENTER SEARCH
New to
Mathematica
?
Find your learning path
»
Mathematica
>
数学和算法
>
离散数学
>
布尔运算
>
BooleanMinterms
>
Mathematica
>
数学和算法
>
逻辑和布尔代数
>
布尔运算
>
BooleanMinterms
>
Mathematica
>
数学和算法
>
图与网络
>
图编程
>
布尔运算
>
BooleanMinterms
>
MATHEMATICA 内置符号
BooleanMaxterms
BooleanFunction
And
BooleanConvert
BooleanMinimize
参见 »
|
布尔运算
7.0版本的新功能概要
7.0的新功能: 字母列表
7.0的新功能: 数学和算法
更多关于 »
BooleanMinterms
BooleanMinterms
表示第
k
n
元极小项.
BooleanMinterms
表示极小项
的析取.
BooleanMinterms
表示由指数向量
,
,... 给出的极小项析取.
BooleanMinterms
给出关于变量
的布尔表达式,相应
spec
指定的极小项函数.
BooleanMinterms
给出由
form
指定形式的布尔表达式.
更多信息
BooleanMinterms
给出
,其中当
为
True
时,
,当
为
False
时
.
等可以用
True
、
False
或
、
来指定.
BooleanMinterms
等价于
BooleanMinterms
[{
IntegerDigits
[
k
,
n
, 2]}]
.
BooleanMinterms
[
spec
]
给出一个作用类似
Function
的布尔函数.
BooleanMinterms
[
spec
][
a
1
,
a
2
,
...
]
给出等价于明确的布尔表达式
BooleanMinterms
的一个隐式表示.
BooleanConvert
将
BooleanMinterms
[
spec
][
vars
]
转换为一个明确的布尔表达式.
在
BooleanMinterms
中,可能的形式作为
BooleanConvert
给出.
BooleanMinterms
缺省下按析取范式给出一个表达式.
范例
关闭所有单元
例
(4)
指定相同极小项的等价方式:
指定极小项的析取:
指定极小项析取的等价方式:
返回一个
BooleanFunction
对象,表示极小项的析取:
列举三个变量的所有极小项:
指定相同极小项的等价方式:
In[1]:=
Out[1]=
In[2]:=
Out[2]=
In[3]:=
Out[3]=
指定极小项的析取:
In[1]:=
Out[1]=
指定极小项析取的等价方式:
In[2]:=
Out[2]=
In[3]:=
Out[3]=
返回一个
BooleanFunction
对象,表示极小项的析取:
In[1]:=
Out[1]=
In[2]:=
Out[2]=
In[3]:=
Out[3]=
列举三个变量的所有极小项:
In[1]:=
Out[1]=
范围
(1)
指定结果的不同形式:
属性和关系
(4)
相应
True
坐标的指针,在
BooleanTable
的缺省顺序中给出:
BooleanMinterms
可以表示任何
BooleanFunction
:
从极小项到指针的映射:
从指针到极小项的映射:
用位向量:
用
Subsets
列举出
BooleanMinterms
的所有可能的函数:
BooleanMaxterms
与
BooleanMinterms
相关:
参见
BooleanMaxterms
BooleanFunction
And
BooleanConvert
BooleanMinimize
更多关于
布尔运算
7.0版本的新功能概要
7.0的新功能: 字母列表
7.0的新功能: 数学和算法
版本 7 的新功能