Let me output DNF expressions