Logiceasy
0:00.0

Which law states PlandPequivPP \\land P \\equiv P?