TAUTOLOGIES:
(1)   ((P > Q) & (Q > R) & (R > P)) > ((P = Q) & (P = R))
(2)   (P & (Q | R | S)) = ((P & Q) | (P & R) | (P & S))
(3)   (P | (Q & R & S)) = ((P | Q) & (P | R) & (P | S))
(4)   ((P > R) | (Q > R)) = ((P & Q) > R)
(5)   ((P > Q) & (R > S)) > ((P & R) > (Q & S))
(6)   ((P > R) & ((!P & Q) > R)) = ((P | Q) > R)
(7)   ((P | Q) & (P > R) & ((!P & Q) > R)) > R
(8)   ((P & Q) > R) = (P > (Q > R))
(9)   ((P | Q) & (P > R) & (Q > S)) > (R | S)
(10)  (P > (Q | R)) = ((P > Q) | (P > R))



BENCHMARKS:
(1)   ((A&B)|(C&D)|(E&F)|(G&H)|(I&J)|(K&L)|(M&N)|(O&P)|(Q&R)|(S&T)|(U&V)|(W&X)|(Y&Z))>+
(2)   ((A|B)&(C|D)&(E|F)&(G|H)&(I|J)&(K|L)&(M|N)&(O|P)&(Q|R)&(S|T)&(U|V)&(W|X)&(Y|Z))>+
(3)   (A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z)>+