维基百科

User:Bluedeck/etc/sandbox/box1527176715201

< User:Bluedeck
p q r p->(q -> r) (p->q) -> r
0 1 0 1 0
取自“https://zh.wikipedia.org/w/index.php?title=User:Bluedeck/etc/sandbox/box1527176715201&oldid=49701567”