左边
=(A!A+!AB+AC+BC)(B+C)
=(!AB+AC+BC)(B+C)
=!ABB+ABC+BBC+!ABC+ACC+BCC
=!AB+ABC+BC+!ABC+AC+BC
=!AB+AC+BC+BC+(A+!A)BC
=!AB+AC+BC+BC+BC
=!AB+AC+BC
右边(分配律展开)
=!AA+!AB+AC+BC
=!AB+AC+BC=左边
左边
=(A!A+!AB+AC+BC)(B+C)
=(!AB+AC+BC)(B+C)
=!ABB+ABC+BBC+!ABC+ACC+BCC
=!AB+ABC+BC+!ABC+AC+BC
=!AB+AC+BC+BC+(A+!A)BC
=!AB+AC+BC+BC+BC
=!AB+AC+BC
右边(分配律展开)
=!AA+!AB+AC+BC
=!AB+AC+BC=左边