Current location - Training Enrollment Network - Mathematics courses - Searching for Principal Disjunctive Paradigm in Discrete Mathematics
Searching for Principal Disjunctive Paradigm in Discrete Mathematics
p→(┐q∨r)& lt; = = & gt┐P∨(┐Q∨R)

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