Unnamed
public text v1 · immutableP Q R P=>Q Q=>R P=>R
0 0 0 1 1 1
1 0 0 0 1 0
1 0 1 0 1 1
1 1 0 1 0 0
1 1 1 1 1 1
0 1 0 1 0 1
0 1 1 1 1 1
0 0 1 1 1 1
P=>Q
Q=>R
----
P=>RP Q R P=>Q Q=>R P=>R
0 0 0 1 1 1
1 0 0 0 1 0
1 0 1 0 1 1
1 1 0 1 0 0
1 1 1 1 1 1
0 1 0 1 0 1
0 1 1 1 1 1
0 0 1 1 1 1
P=>Q
Q=>R
----
P=>R