Formalized Symbolic Logics


Truth Table

Q. Construct a truth-table for the following logical expressions:

1. (B à A) & (~B Ú ~A) (Dec. 02)
2. ~(C à D) Ú (C Ù D) (June 02)
3. ~(P Ú Q) à (P Ù Q) (Dec. 01)
4. (C Ú ~D) à (D à C) (Jan. 01)

1.

A B ~A ~B B à A ~B Ú ~A (B à A) & (~B Ú ~A)
T T F F T F F
T F F T T T T
F T T F F T F
F F T T T T T

2.

C D ~C ~D ~(C à D) C Ù D ~(C à D) Ú (C Ù D)
T T F F F T T
T F F T T F T
F T T F F F F
F F T T F F F

3.

P Q ~P ~Q ~(P Ú Q) P Ù Q ~(P Ú Q) à (P Ù Q)
T T F F F T T
T F F T F F T
F T T F F F T
F F T T T F F

4.

C D ~C ~D C Ú ~D D à C (C Ú ~D) à (D à C)
T T F F T T T
T F F T T T T
F T T F F F T
F F T T T T T
 
          AI Contents  
©Universal Teacher Publications Web: www.universalteacherpublications.com.