[(p q) (q r)] (p r)

[(p q) (q p) (q r) (r q)] [(p r) (r p)]

[(p q) (q p) (q r) (r q)] [(p r) (r p]

(Definition)
( )
(De Morgan)

{
} {
}
[(p q) q] [(p q) p] [(q r) r] [(q r) q] [(p r) (r p)]

(Distributivity)

{
} {
}
[(p q) (q q)] [(p p) (q p)] [(q r) (r r)] [(q q) (r q)] [(p r) (r p]

(Distributivity)

{
} {
}
[(p q) T] [T (q p)] [(q r) T] [T (r q)] [(p r) (r p)]
[(p q) (q p)] [(q r) (r q)] [(p r) (r p)]

(Identity)

{{

} {
}}
[(p q) (q p)] (q r) [(p q) (q p)] (r q) [(p r) (r p)]

(Distributivity)

{{

} {
}}
[(p q) (q r)] [(q p) (q r)] [(p q) (r q)] [(q p) (r q)] [(p r) (r p)]

(Distributivity)

{{

} {
}}
[(p q) (q r)] [(q q) (p r)] [(q q) (p r)] [(q p) (r q)] [(p r) (r p)]

(Associativity)

{{

} {
}}
[(p q) (q r)] [T (p r)] [T (p r)] [(q p) (r q)] [(p r) (r p)]

{{

} {
}}
[(p q) (q r)] T T [(q p) (r q)] [(p r) (r p)]

{
}
[(p q) (q r)] [(q p) (r q)] [(p r) (r p)]
{
} {
}
[(p q) (q r)] [(p r) (r p)] [(q p) (r q)] [(p r) (r p)]

(Negation)

{{

} {
}} { {
} {
}}
[(p q) (q r)] (p r) [(p q) (q r)] (r p) [(q p) (r q)] (p r) [(q p) (r q)] (r p)

{
} {
}
[(p p) q q r r] [(r r) p q q p] [(r r) q p q p] [(p p) q r q r]
{
} {
}
[T q q r r] [T p q q p] [T q p q p] [T q r q r]
(T T) (T T)
TTTT
T

(Negation)
(Domination)
(Identity)
(Distributivity)
(Distributivity)
(Associativity)
(Negation)
(Domination)
(Associativity)
(Identity)