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:

F=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD(Đổi choˆ˜ caˊc thaˋnh phaˆˋn để nhoˊm caˊc thaˋnh phaˆˋn coˊ cuˋng caˊc bieˆˊn)=ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD+ABCD(Sa˘ˊp xeˆˊp lại theo thứ tự bảng chaˆn trị)=ACD(B+B+BC)+ACD(B+B+BC)+ABC(D+D)+ABCD(Nhoˊm caˊc bieˆˊn chung lại)=ACD(1+B+BC)+ACD(1+B+BC)+ABC(1)+ABCD(Sử dụng Postulate Complementation)=ACD(1)+ACD(1)+ABC+ABCD(Sử dụng Postulate Absorption)=ACD+ACD+ABC+ABCD(Sử dụng Postulate Identity)\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+ACD+ABC+ABCDF = ACD + \overline{A}CD + \overline{A}B\overline{C} + \overline{A}\overline{B}\overline{C}D.