[1] コンセンサスが含まれてしまうという話: (a・b) + (b・c) + (¬a・c) = (a・b) + (¬a・c) (+ は論理和, ・は論理積。入れ替えても可。)

略証: (a・b) + (b・c) + (¬a・c) = (a・b) + {b・c・(a + ¬a)} + (¬a・c) = (a・b) + (b・c・a) + (b・c・¬a) + (¬a・c) = (a・b)・(1 + c) + (¬a・c)・(1 + b) = (a・b) + (¬a・c)