Name: Iglesia, John Zedrick Program, Yr. & Sec.

: BSIT 1 A

Create truth tables for the following.

(NO NEED TO IDENTIFY THE TYPE OF EQUIVALENCE)

1. C > M
R> C
: R> M

2. B > ( H . S)
(~HvS) >~B
: B >~B

3. ~ ( G v E ) > ( M . T )
~G . ~E
: M . T

4. ( F > O ) . ( R > E )
~F v R
: O v E

B > ( H . S)
(~HvS) >~B
: B >~B

1. C > M
R> C
: R> M

= Valid

C M R C>M R>C :R>M

T T T T T T
T T F T T T
T F T F T F
T F F F T T
F T T T F T
F T F T T T
F F T T F F
F F F T T T
2. B > ( H . S)
(~HvS) >~B
: B >~B

= Valid

B H S H.S B>(H.S) ~H ~HvS ~B (~HvS) >~B :B>~B

T T T T T F T F F F
T T F F F F F F T F
T F T F F T T F F F
T F F F F T T F F F
F T T T T F T T T T
F T F F T F F T T T
F F T F T T T T T T
F F F F T T T T T T

3. ~ ( G v E ) > ( M . T )
~G . ~E
: M . T

= Valid

G E M T (GvE) ~( G v E ) M.T ~(GvE) >(M.T) ~G ~E ~G.~E :M.T

T T T T T F T T F F F T
T T T F T F F T F F F F
T T F T T F F T F F F F
T T F F T F F T F F F F
T F T T T F T T F T F T
T F T F T F F T F T F F
T F F T T F F T F T F F
T F F F T F F T F T F F
F T T T T F T T T F F T
F T T F T F F T T F F F
F T F T T F F T T F F F
F T F F T F F T T F F F
F F T T F T T T T T T T
F F T F F T F F T T T F
F F F T F T F F T T T F
F F F F F T F F T T T F
4. ( F > O ) . ( R > E )
~F v R
: O v E
= Invalid

F O R E F> R> (F >O).(R>E ~F R ~FvR :Ov

O E ) E
T T T T T T T F T T T
T T T F T F F F T T T
T T F T T T T F F F T
T T F F T T T F F F T
T F T T F T F F T T T
T F T F F F F F T T F
T F F T F T F F F F T
T F F F F T F F F F F
F T T T T T T T T T T
F T T F T F F T T T T
F T F T T T T T F T T
F T F F T T T T F T T
F F T T T T T T T T T
F F T F T F F T T T F
F F F T T T T T F T F
F F F F T T T T F T F