- 双语例句 更多例句
1、
为保证化简前后逻辑上的等价性，用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验，结果表明化简前后是等价的。
互联网摘选
- 相关词组
- logical protocol逻辑协议
- logical program逻辑程序
- logical proposition逻辑命题
- logical order逻辑指令;
- logical predicate逻辑谓语
- matterenergy equivalence物质能量守衡定律
- logical parent pointer逻辑父指针
- logical capability逻辑能力
- logical race逻辑追赶,逻辑竞争
- logical power伦理力量
- logical realism逻辑实在论
- logical parent segment逻辑父亲段;逻辑亲体段;逻辑双亲段
- logical procedure diagram逻辑流程框图
- logical primary逻辑初等量
- logical product逻辑(乘)积(“与”操作的结果)
- logical probability逻辑概率
- logical output device逻辑输出设备
- logical pattern逻辑图
- multilevel logical circuit多级逻辑电路
- logical pointer逻辑指示字
- 今日热词
- 热门搜索
- sports facility 体育设施
- have been 已经;来过;
- picture n.照片，画像;图画，图片;影片;情况;描述;印象;vt.构想，想象;用图片显示;描述，描写;
- eventually adv.最后，终于;
- dry adj.干的干燥的，干旱的;干旱的，口渴的;干咳的;无趣味的，枯燥的;vt.从…去掉水分，使…变干;脱水保存（如肉或其它食物）;
- admit vt.& vi.许可进入;承认，供认;vt.允许;确认;
- geometry n.几何学;几何形状;几何图形;几何学著作;
- restrict vt.限制，限定;约束，束缚;
- call v.称呼;把…说成;喊，叫;打电话;召唤，召集;拜访，停留;取消（比赛等）;n.打电话;叫声;呼吁，请求;需求;吸引力;呼唤;决定，裁决;短暂拜访;
- le abbr.Low Explosive 低爆速炸药;Labor Exchange 务实贸易;
- headteacher n.中小学的校长;
- twenty-first 第二十一;
