not ((not A) and (not B))