ブール式内にある
a || b
を
!(!a && !b)
に、または
a && b
を
!(!a || !b)
に置換します。