CSPC Summative Zulueta PDF

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 2

1.

~ (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

T F ~T ~F (T ^ ~F) (~T v F) (T ^ ~F) v (~T v F) (T ^ ~F) v (~T v F) → T


1 1 0 0 0 1 1 1
1 0 0 1 1 0 1 1
0 1 1 0 0 1 1 0
0 0 1 1 0 1 1 0
Contingency
4. Identity Laws
Domination Laws
Idempotent Laws
Double Negation Law
Commutative Laws
Associative Laws
Distributive Laws
De Morgan’s Laws
Absorption Laws
Negation Laws

You might also like