P‾+Q‾\overline{\mathrm{P}}+\overline{\mathrm{Q}}P+Q
P‾+Q‾‾\overline{\overline{\mathrm{P}}+\overline{\mathrm{Q}}}P+Q
P+Q‾‾\overline{\overline{\mathrm{P}+\mathrm{Q}}}P+Q
P‾⋅Q‾\overline{\mathrm{P}}\cdot\overline{\mathrm{Q}}P⋅Q