And Or Not In Logic