OUTPUT 5

M J S 1. (x ⋀ (¬ y)) ⋀ (x ⋀ y)

1 1 1 1 1 1 1 1
x y ¬y
1 1 0 1 0 0 0 1
1 1 0 0 1 0 Let:
1 0 1 0 1 0 1 1
1 0 1 1 0 0 = x ^ (¬ y)
1 0 0 0 1 0 0 1
0 1 0 0 0 0 = x^y
0 1 1 1 1 1 1 1
0 0 1 0 0 0 = ^
0 1 0 1 0 0 1 1
Rows: 2^2= 4/2 = 2/2 = 1
0 0 1 1 1 1 1 1
Contradiction
0 0 0 1 1 1 1 1

2. [(B→S) ⋀ B] → S

B S Let:

1 1 1 1 1 = B→S

1 0 0 0 1 = ^B
= →S
0 1 1 0 1
Rows: 2^2= 4/2 = 2/2 = 1
0 0 1 0 1

Tautology

3. [(M→J) ⋀ (J→S)] → (M→S)

Let:

= M→J

= J→S

= ^

= M→S

= ^
Rows: 2^3= 8/2= 4/2= 2/2 = 1

Tautology

4. ¬(p ⋀ q) ⋀ (¬r)

p q r Let:

1 1 1 1 0 0 0 =p ^ q

1 1 0 1 0 1 0 = ¬(p ^ q)

1 0 1 0 1 0 0 = (¬r)

1 0 0 0 1 1 1 = ^

Rows: 2^3= 8/2= 4/2= 2/2 = 1

0 1 1 0 1 0 0

0 1 0 0 1 1 1

0 0 1 0 1 0 0
Contingency

0 0 0 0 1 1 1

5. p ∨ (¬{[(¬p∨q)→q]∧p})

p q Let:

1 1 0 1 1 1 0 1 = ¬p

1 0 0 0 1 1 0 1 = vp

0 1 1 1 1 0 1 1 = →q

0 0 1 1 0 0 1 1 = ∧p

=
=