& 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.