Professional Documents
Culture Documents
Untitled
Untitled
0 1 1 1 1
0 1 0 1 0
1 0 1 1 0
1 0 0 0 0
A B
NO Q NO P P Q R P -> Q Q -> R
1 0 1 0 1 0 1
1 0 1 0 0 0 1
0 1 0 1 1 1 1
0 1 0 1 0 1 0
A B
P -> Q Q -> R AYB
1 1 1
0 0 0
1 1 1 (P -> Q)^(Q->R)
1 1 1
A Y B P -> R EQUIVALENTES
0 1
0 0 P -> R
1 1
0 1