Programming Logic                               Truth-Functional Logic

 

Conjunction       AND          Ù

A

B

A Ù B

T

T

T

T

F

F

F

T

F

F

F

F

 

Disjunction         OR             Ú

A

B

A Ú B

T

T

T

T

F

T

F

T

T

F

F

F

 

Negation             NOT          ~

A

~A

T

F

F

T

 

Truth Table Examples

 

Construct a truth table for:

1.      ~(P Ù Q)

2.      ~(P Ú Q)

3.      P Ú (Q Ú ~R)

4.      P Ù (Q Ù R)

5.      P Ù (Q Ú R)

 

1.        

P

Q

P Ù Q

~(P Ù Q)

T

T

 

 

T

F

 

 

F

T

 

 

F

F

 

 

 

More…


Truth Table Examples

 

2.        

P

Q

P Ú Q

~(P Ú Q)

T

T

 

 

T

F

 

 

F

T

 

 

F

F

 

 

 

3.        

P

Q

R

~R

Q Ú ~R

P Ú (Q Ú ~R)

T

T

T

 

 

 

T

T

F

 

 

 

T

F

T

 

 

 

T

F

F

 

 

 

F

T

T

 

 

 

F

T

F

 

 

 

F

F

T

 

 

 

F

F

F

 

 

 

 

4.        

P

Q

R

Q Ù R

P Ù (Q Ù R)

T

T

T

 

 

T

T

F

 

 

T

F

T

 

 

T

F

F

 

 

F

T

T

 

 

F

T

F

 

 

F

F

T

 

 

F

F

F

 

 

 

5.        

P

Q

R

Q Ú R

P Ù (Q Ú R)

T

T

T

 

 

T

T

F

 

 

T

F

T

 

 

T

F

F

 

 

F

T

T

 

 

F

T

F

 

 

F

F

T

 

 

F

F

F