Truth tables for inference
R
1
=
P
1,1
R
4
=
B
1,1
R
5
= B
2,1
α
1
=
P
1,2
?
