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