TEST

Dưới đây là cách áp dụng các nguyên tắc và biểu thức sau khi đơn giản hóa, sử dụng dấu gạch trên đầu để biểu diễn biến phủ định:

$$\begin{align*} F & = ABCD + AB\overline{C}D + AB\overline{C}\overline{D} + A\overline{B}CD + \overline{ABCD} + \overline{A}BC\overline{D} + \overline{A}B\overline{C}D + \overline{A}\overline{B}\overline{C}D \\ & = ABCD + AB\overline{C}D + A\overline{B}CD + \overline{ABCD} + AB\overline{C}\overline{D} + \overline{A}BC\overline{D} + \overline{A}B\overline{C}D + \overline{A}\overline{B}\overline{C}D \quad \text{(Đổi chỗ các thành phần để nhóm các thành phần có cùng các biến)} \\ & = ABCD + A\overline{B}CD + AB\overline{C}D + \overline{ABCD} + AB\overline{C}\overline{D} + \overline{A}BC\overline{D} + \overline{A}B\overline{C}D + \overline{A}\overline{B}\overline{C}D \quad \text{(Sắp xếp lại theo thứ tự bảng chân trị)} \\ & = ACD(B + \overline{B} + \overline{B}C) + \overline{A}CD(B + \overline{B} + \overline{B}C) + \overline{A}B\overline{C}(D + \overline{D}) + \overline{A}\overline{B}\overline{C}D \quad \text{(Nhóm các biến chung lại)} \\ & = ACD(1 + \overline{B} + \overline{B}C) + \overline{A}CD(1 + \overline{B} + \overline{B}C) + \overline{A}B\overline{C}(1) + \overline{A}\overline{B}\overline{C}D \quad \text{(Sử dụng Postulate Complementation)} \\ & = ACD(1) + \overline{A}CD(1) + \overline{A}B\overline{C} + \overline{A}\overline{B}\overline{C}D \quad \text{(Sử dụng Postulate Absorption)} \\ & = ACD + \overline{A}CD + \overline{A}B\overline{C} + \overline{A}\overline{B}\overline{C}D \quad \text{(Sử dụng Postulate Identity)} \end{align*}$$

Vậy biểu thức đã được đơn giản hóa thành $F = ACD + \overline{A}CD + \overline{A}B\overline{C} + \overline{A}\overline{B}\overline{C}D$.