(B or not A and C) => (A or not B and C)
(B + ¬AC) => (A + ¬BC)
¬(B + ¬AC) + (A + ¬BC)
¬B * ¬(¬AC)) + A + ¬BC
¬B * (A+ ¬C) + A + ¬BC
A¬B + ¬B¬C + A + ¬BC
A(¬B + 1) + ¬B(¬C + C)
A + ¬B
или же A ∨ ¬B
(B or not A and C) => (A or not B and C)
(B + ¬AC) => (A + ¬BC)
¬(B + ¬AC) + (A + ¬BC)
¬B * ¬(¬AC)) + A + ¬BC
¬B * (A+ ¬C) + A + ¬BC
A¬B + ¬B¬C + A + ¬BC
A(¬B + 1) + ¬B(¬C + C)
A + ¬B
или же A ∨ ¬B