欢迎纠错
基本公式
0 ⋅ A = 0 0 + A = A 1 ⋅ A = A 1 + A = 1 A ⋅ A = A A + A = A A ⋅ A ′ = 0 A + A ′ = 1 0 \cdot A=0 \space\space\space\space\space\space\space 0+A=A\\\ \\ 1 \cdot A=A \space\space\space\space\space\space\space 1+A=1\\\ \\ A \cdot A=A \space\space\space\space\space\space\space A+A=A\\\ \\ A \cdot A'=0 \space\space\space\space\space\space\space A+A'=1\\\ \\ 0⋅A=0 0+A=A 1⋅A=A 1+A=1 A⋅A=A A+A=A A⋅A′=0 A+A′=1
一些定理
一些律
1. 吸 收 律 : A + A B = A 2. 消 因 子 律 : A + A ′ B = A + B 单 变 量 3. 并 项 律 : A B + A B ′ = A 两 项 两 变 量 4. 消 项 律 : A B + A ′ C + B C = A B + A ′ C A B + A ′ C + B C D = A B + A ′ C 三 项 三 变 量 1.吸收律:A+AB=A \\\ \\ 2.消因子律:A+A'B=A+B \space\space\space单变量\\\ \\ 3.并项律:AB+AB'=A\space\space\space两项两变量\\\ \\ 4.消项律:AB+A'C+BC=AB+A'C \\ AB+A'C+BCD=AB+A'C\space\space\space三项三变量 1.吸收律:A+AB=A 2.消因子律:A+A′B=A+B 单变量 3.并项律:AB+AB′=A 两项两变量 4.消项律:AB+A′C+BC=AB+A′CAB+A′C+BCD=AB+A′C 三项三变量
异或同或公式
归 零 : A ⊕ A = 0 , 零 是 逻 辑 0 恒 等 : A ⊕ 0 = A 反 相 : A ⊕ 1 = A ′ 交 换 : A ⊕ B = B ⊕ A 结 合 : A ⊕ B ⊕ C = A ⊕ ( B ⊕ C ) = ( A ⊕ B ) ⊕ C 自 反 : A ⊕ B ⊕ A = B C = A ⊕ B , B = A ⊕ C , A = C ⊕ B ( A ⊕ B ⊕ C ) ′ = A ⊙ ( B ⊕ C ) = B ⊙ ( A ⊕ C ) = C ⊙ ( B ⊕ A ) ( A ⊕ B ) ′ = A ⊙ B 同 或 服 从 交 换 结 合 律 归零:A \oplus A=0,零是逻辑0\\ 恒等:A \oplus 0=A\\ 反相:A \oplus 1=A'\\ 交换:A\oplus B=B\oplus A\\ 结合:A\oplus B\oplus C=A\oplus (B\oplus C)=(A\oplus B)\oplus C\\ 自反:A\oplus B\oplus A=B\\ C=A\oplus B,B=A\oplus C,A=C\oplus B\\\ \\ (A\oplus B\oplus C)'=A\odot (B\oplus C)=B\odot (A\oplus C)=C\odot (B\oplus A)\\\ \\ (A\oplus B)'=A\odot B\\ 同或服从交换结合律 归零:A⊕A=0,零是逻辑0恒等:A⊕0=A反相:A⊕1=A′交换:A⊕B=B⊕A结合:A⊕B⊕C=A⊕(B⊕C)=(A⊕B)⊕C自反:A⊕B⊕A=BC=A⊕B,B=A⊕C,A=C⊕B (A⊕B⊕C)′=A⊙(B⊕C)=B⊙(A⊕C)=C⊙(B⊕A) (A⊕B)′=A⊙B同或服从交换结合律
一些注意事项和屁话
先 括 号 、 后 乘 法 、 后 加 法 多 重 非 号 先 去 外 非 再 去 内 非 异 或 A ⊕ B = A ′ B + A B ; 同 或 A ⊙ B = A B + A ′ B ′ 直 接 展 开 律 : ( A + B + C C ′ ) = ( A + B + C ) ( A + B + C ′ ) ( A + B ) ( A + C ) = A + B C 提 消 法 : A ( B ′ C + B + C ′ ) = A 三 变 量 轮 换 与 或 : A B + A C + B C = A B + C ( A ⊕ B ) 互 相 排 斥 : 不 有 2 个 或 以 上 变 量 同 时 为 1 A B ′ C ′ D ′ E ′ = A B ′ C ′ D ′ E ′ + A B ′ C ′ D ′ E 化 成 与 非 − 与 非 式 : 最 简 与 或 式 外 加 两 重 非 号 》 加 的 第 一 重 用 摩 根 律 化 成 或 非 − 或 非 式 : 最 简 与 或 式 》 外 加 两 重 非 号 》 反 演 去 掉 加 的 第 一 重 》 大 非 号 内 部 展 开 》 内 部 每 一 项 摩 根 律 先括号、后乘法、后加法\\\ \\ 多重非号先去外非再去内非\\\ \\ 异或A\oplus B=A'B+AB;\\同或A\odot B=AB+A'B'\\\ \\ 直接展开律:(A+B+CC')=(A+B+C)(A+B+C')\\(A+B)(A+C)=A+BC\\\ \\ 提消法:A(B'C+B+C')=A\\\ \\ 三变量轮换与或:AB+AC+BC=AB+C(A\oplus B)\\\ \\ 互相排斥:不有2个或以上变量同时为1\\ AB'C'D'E'=AB'C'D'E'+AB'C'D'E\\\ \\ 化成 与非-与非式:最简与或式外加两重非号》加的第一重用摩根律\\\ \\ 化成或非-或非式:最简与或式》外加两重非号》反演去掉加的第一重\\》大非号内部展开》内部每一项摩根律 先括号、后乘法、后加法 多重非号先去外非再去内非 异或A⊕B=A′B+AB;同或A⊙B=AB+A′B′ 直接展开律:(A+B+CC′)=(A+B+C)(A+B+C′)(A+B)(A+C)=A+BC 提消法:A(B′C+B+C′)=A 三变量轮换与或:AB+AC+BC=AB+C(A⊕B) 互相排斥:不有2个或以上变量同时为1AB′C′D′E′=AB′C′D′E′+AB′C′D′E 化成与非−与非式:最简与或式外加两重非号》加的第一重用摩根律 化成或非−或非式:最简与或式》外加两重非号》反演去掉加的第一重》大非号内部展开》内部每一项摩根律
最小项主要性质
① 对 任 一 最 小 项 , 只 有 一 组 变 量 取 值 组 合 使 它 的 值 为 一 ② 全 部 最 小 项 之 和 为 1 ③ m i ⋅ m j = 0 ④ m i ⋅ m ‾ j = m i , j ≠ i ⑤ F = Σ m j 则 F ‾ = Σ m k , k ≠ j ⑥ 若 F ‾ = Σ m j , F 反 演 = Σ m k , k = ( 2 n − 1 ) − j ①对任一最小项,只有一组变量取值组合使它的值为一\\ ②全部最小项之和为1\\ ③m_i\cdot m_j=0\\ ④m_i\cdot \overline{m}_j=m_i, j\ne i\\ ⑤ F=\Sigma m_j \space则\space \overline{F}=\Sigma m_k\space,\space k\ne j\\ ⑥若 \overline{F}=\Sigma m_j, F_{反演}=\Sigma m_k \space,\space k=(2^n-1)-j ①对任一最小项,只有一组变量取值组合使它的值为一②全部最小项之和为1③mi⋅mj=0④mi⋅mj=mi,j=i⑤F=Σmj 则 F=Σmk , k=j⑥若F=Σmj,F反演=Σmk , k=(2n−1)−j