数字系统设计自动化验报告.docVIP

实 验 报 告 实验名称 _ __ _matlab______ 课程名称 数字设计自动化 院 系 部:电气与电子工程 专业班级： 学生姓名： 学 号: 同 组 人: 实验台号: 指导教师： 成 绩： 实验日期: 华北电力大学（北京） 实验目的及要求： 熟悉逻辑综合的基本概念 熟练运用质立方体求解方法 熟悉运用matlab工具 二、仪器用具： 仪器名称 规格/型号 数量 备注 计算机 1 三、实验原理 第一步：T=S{Un#Coff} 第二步：Z={t|t属于T且t交Con!=空} 四、实验数据 锐积求质立方体及锐积、吸收、相交子程序 function Z=ruijiz(Con,Cdc) %锐积求质立方体 Coff=; Un=; T=; Z=; %数据初始化 sizeCon=size(Con); for i=1:sizeCon(2); Un=[Un,x]; end C=[Con;Cdc]; sizeC=size(C); Coff=Un; for i=1:sizeC(1); temp1=; sizeCoff=size(Coff); for j=1:sizeCoff(1); temp=ruiji(Coff(j,:),C(i,:)); %调用ruiji temp1=[temp1;temp]; end Coff=temp1; end Coff=xishou(Coff); %调用吸收 sizeCoff=size(Coff); T=Un; for i=1:sizeCoff(1); temp1=; sizeT=size(T); for j=1:sizeT(1); temp=ruiji(T(j,:),Coff(i,:)); %调用ruiji temp1=[temp1;temp]; end T=temp1; T=xishou(T); end sizeT=size(T); for i=sizeT(1):-1:1; for j=1:sizeCon(1); temp=xiangjiao(T(i,:),Con(j,:)); if isempty(temp)==0; Z=[Z;T(i,:)]; break end end end Z=xishou(Z); function c=xishou(c); %吸收子程序 sizec=size(c); i=sizec(1); while(i0) sizec=size(c); for j=sizec(1):-1:1; temp=xiangjiao(c(i,:),c(j,:)); if i==j; continue; elseif isempty(temp); continue; elseif temp==c(i,:) c(i,:)=; i=i-1; continue elseif temp==c(j,:); c(j,:)=; i=i-1; continue else end end i=i-1; end; sizec=size(c); i=sizec(1); while(i0) sizec=size(c); for j=sizec(1):-1:1; if i==j continue end cn=0; cm=0; for k=1:sizec(2); if isequal(c(i,k),c(j,k)); continue elseif (c(i