Tests for basic boolean Logic-1 section added.