R=(P1=>P2)vQ
P1 P2 Q R
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1
_
R=(PvQ1)=>Q2
P Q1 Q2 R
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
R=(P1=>P2) vQ
R=(P(сверху палочка)