Logicmedium
0:00.0

Is PlornegPP \\lor \\neg P a tautology?