Negative Logic Structure Algorithm