all( S , P ) all( S , P ) all( S , P ) some( S , P ) some( S , P ) some( S , P ) some( S , P ) all( S , P ) S cannot be empty ( S cannot be universal) S cannot be empty ( S cannot be universal) P cannot be empty ( P cannot be universal) P cannot be empty ( P cannot be universal) S cannot coincide with P S cannot coincide with P show bitstrings alongside formulas show bitstring semantics in normal form show bitstring semantics in simplified form Sorry, your browser does not support inline SVG.