-paKn -> -duPr
(duBr | blBr) -> paKn
-dePr -> -paBr
duDi -> -paBr
blPr-> -deBr
-paDi -> paBr

blBr | blDi | blKn | blPr
deBr | deDi | deKn | dePr
duBr | duDi | duKn | duPr
paBr | paDi | paKn | paPr

blBr | deBr | duBr | paBr
blDi | deDi | duDi | paDi
blKn | deKn | duKn | paKn
blPr | dePr | duPr | paPr

blBr -> (-blDi & -blKn & -blPr)
blDi -> (-blBr & -blKn & -blPr)
blKn -> (-blBr & -blDi & -blPr)
blPr -> (-blBr & -blDi & -blKn)

deBr -> (-deDi & -deKn & -dePr)
deDi -> (-deBr & -deKn & -dePr)
deKn -> (-deBr & -deDi & -dePr)
dePr -> (-deBr & -deDi & -deKn)

duBr -> (-duDi & -duKn & -duPr)
duDi -> (-duBr & -duKn & -duPr)
duKn -> (-duBr & -duDi & -duPr)
duPr -> (-duBr & -duDi & -duKn)

paBr -> (-paDi & -paKn & -paPr)
paDi -> (-paBr & -paKn & -paPr)
paKn -> (-paBr & -paDi & -paPr)
paPr -> (-paBr & -paDi & -paKn)


blBr -> (-deBr & -duBr & -paBr)
deBr -> (-blBr & -duBr & -paBr)
duBr -> (-blBr & -deBr & -paBr)
paBr -> (-blBr & -deBr & -duBr)

blDi -> (-deDi & -duDi & -paDi)
deDi -> (-blDi & -duDi & -paDi)
duDi -> (-blDi & -deDi & -paDi)
paDi -> (-blDi & -deDi & -duDi)

blKn -> (-deKn & -duKn & -paKn)
deKn -> (-blKn & -duKn & -paKn)
duKn -> (-blKn & -deKn & -paKn)
paKn -> (-blKn & -deKn & -duKn)

blPr -> (-dePr & -duPr & -paPr)
dePr -> (-blPr & -duPr & -paPr)
duPr -> (-blPr & -dePr & -paPr)
paPr -> (-blPr & -dePr & -duPr)