& lt= = & gt┐P∨┐Q∨R

& lt= = & gtM6

& lt= =>π (6) (main conjunctive normal form)

& lt= =>σ (0, 1, 2, 3, 4, 5, 7) (principal disjunctive paradigm)

Note: Symbols are taken from Discrete Mathematics written by Qu Wanling and others.