Logicmedium
0:00.0

Which of these connectives is commutative (PstarQequivQlandPP \\star Q \\equiv Q \\land P)?