编译原理 DNF求最小化

求下列DNF的最小化

最小化：当事件遇见条件时不在产生新的组别时就是最小的

1.先将其分为终态组和非终态组

终态组：{0}

非终态组：{1，2，3，4，5}

{1，2，3，4，5}a={0,1,3,5},

因为{0}已经是终态分组了，并且{4}a={a},故得到新分组{0}，{4}，{1，2，3，5}

{1，2，3，5}b={2,3,4},因为{1，5}b={4},指向已经有的分组{4}，{1,5}a{1,5}指向自身的集合分组，故又产生新分组{0},{4},{1,5},{2,3}

{2,3}a={1,3}没有指向现有的分组故继续拆分{0}{4}{1,5}{2}{3}

对其进行条件遇见不在变化,就是最小化，最终分组为{0}，{4}，{1,5}，{2}，{3}

将{1,5}合并为{1}

最小化DNF