Professional Documents
Culture Documents
CSPC Summative Zulueta PDF
CSPC Summative Zulueta PDF
CSPC Summative Zulueta PDF
~ (C v S) → (B ^ C) → S
B C S CvS ~ (C v S) B^C ~ (C v S) → (B ^ C) ~ (C v S) → (B ^ C) → S
1 1 1 1 0 1 0 1
1 1 0 1 0 1 0 1
1 0 1 1 0 0 1 1
1 0 0 0 1 0 0 1
0 1 1 1 0 0 1 1
0 1 0 1 0 0 1 0
0 0 1 1 0 0 1 1
0 0 0 0 1 0 0 1
Contingency
2. ~ (~ P ^ Q) → (R v S)
P Q R S ~P (~ P ^ Q) ~ (~ P ^ Q) (R v S) ~ (~ P ^ Q) → (R v S)
1 1 1 1 0 0 1 1 1
1 1 1 0 0 0 1 1 1
1 1 0 1 0 0 1 1 1
1 1 0 0 0 0 1 0 0
1 0 1 1 0 0 1 1 1
1 0 1 0 0 0 1 1 1
1 0 0 1 0 0 1 1 1
1 0 0 0 0 0 1 0 0
0 1 1 1 1 1 0 1 1
0 1 1 0 1 1 0 1 1
0 1 0 1 1 1 0 1 1
0 1 0 0 1 1 0 0 1
0 0 1 1 1 0 1 1 1
0 0 1 0 1 0 1 1 1
0 0 0 1 1 0 1 1 1
0 0 0 0 1 0 1 0 0
Contingency
3. (T ^ ~F) v (~T v F) → T