logo

OpenCourseWare on critical thinking, logic, and creativity



Complex truth-tables: example

Complex truth-tables: example

Step 1

P
Q
R
S
  
~
(
S
 
 
(
~
(
P
&
Q
)
 
R
)
)
TTTT  
 
 
T
 
 
 
 
 
 
T
 
T
 
 
 
T
 
 
TTTF  
 
 
F
 
 
 
 
 
 
T
 
T
 
 
 
T
 
 
TTFT  
 
 
T
 
 
 
 
 
 
T
 
T
 
 
 
F
 
 
TTFF  
 
 
F
 
 
 
 
 
 
T
 
T
 
 
 
F
 
 
TFTT  
 
 
T
 
 
 
 
 
 
T
 
F
 
 
 
T
 
 
TFTF  
 
 
F
 
 
 
 
 
 
T
 
F
 
 
 
T
 
 
TFFT  
 
 
T
 
 
 
 
 
 
T
 
F
 
 
 
F
 
 
TFFF  
 
 
F
 
 
 
 
 
 
T
 
F
 
 
 
F
 
 
FTTT  
 
 
T
 
 
 
 
 
 
F
 
T
 
 
 
T
 
 
FTTF  
 
 
F
 
 
 
 
 
 
F
 
T
 
 
 
T
 
 
FTFT  
 
 
T
 
 
 
 
 
 
F
 
T
 
 
 
F
 
 
FTFF  
 
 
F
 
 
 
 
 
 
F
 
T
 
 
 
F
 
 
FFTT  
 
 
T
 
 
 
 
 
 
F
 
F
 
 
 
T
 
 
FFTF  
 
 
F
 
 
 
 
 
 
F
 
F
 
 
 
T
 
 
FFFT  
 
 
T
 
 
 
 
 
 
F
 
F
 
 
 
F
 
 
FFFF  
 
 
F
 
 
 
 
 
 
F
 
F
 
 
 
F
 
 


Step 2

P
Q
R
S
  
~
(
S
(
~
(
P
&
Q
)
R
)
)
TTTT  
 
 
T
 
 
 
 
 
 
T
T
T
 
 
 
T
 
 
TTTF  
 
 
F
 
 
 
 
 
 
T
T
T
 
 
 
T
 
 
TTFT  
 
 
T
 
 
 
 
 
 
T
T
T
 
 
 
F
 
 
TTFF  
 
 
F
 
 
 
 
 
 
T
T
T
 
 
 
F
 
 
TFTT  
 
 
T
 
 
 
 
 
 
T
F
F
 
 
 
T
 
 
TFTF  
 
 
F
 
 
 
 
 
 
T
F
F
 
 
 
T
 
 
TFFT  
 
 
T
 
 
 
 
 
 
T
F
F
 
 
 
F
 
 
TFFF  
 
 
F
 
 
 
 
 
 
T
F
F
 
 
 
F
 
 
FTTT  
 
 
T
 
 
 
 
 
 
F
F
T
 
 
 
T
 
 
FTTF  
 
 
F
 
 
 
 
 
 
F
F
T
 
 
 
T
 
 
FTFT  
 
 
T
 
 
 
 
 
 
F
F
T
 
 
 
F
 
 
FTFF  
 
 
F
 
 
 
 
 
 
F
F
T
 
 
 
F
 
 
FFTT  
 
 
T
 
 
 
 
 
 
F
F
F
 
 
 
T
 
 
FFTF  
 
 
F
 
 
 
 
 
 
F
F
F
 
 
 
T
 
 
FFFT  
 
 
T
 
 
 
 
 
 
F
F
F
 
 
 
F
 
 
FFFF  
 
 
F
 
 
 
 
 
 
F
F
F
 
 
 
F
 
 


Step 3

P
Q
R
S
  
~
(
S
 
 
(
~
(
P
&
Q
)
 
R
)
)
TTTT  
 
 
T
 
 
 
 
F
 
T
T
T
 
 
 
T
 
 
TTTF  
 
 
F
 
 
 
 
F
 
T
T
T
 
 
 
T
 
 
TTFT  
 
 
T
 
 
 
 
F
 
T
T
T
 
 
 
F
 
 
TTFF  
 
 
F
 
 
 
 
F
 
T
T
T
 
 
 
F
 
 
TFTT  
 
 
T
 
 
 
 
T
 
T
F
F
 
 
 
T
 
 
TFTF  
 
 
F
 
 
 
 
T
 
T
F
F
 
 
 
T
 
 
TFFT  
 
 
T
 
 
 
 
T
 
T
F
F
 
 
 
F
 
 
TFFF  
 
 
F
 
 
 
 
T
 
T
F
F
 
 
 
F
 
 
FTTT  
 
 
T
 
 
 
 
T
 
F
F
T
 
 
 
T
 
 
FTTF  
 
 
F
 
 
 
 
T
 
F
F
T
 
 
 
T
 
 
FTFT  
 
 
T
 
 
 
 
T
 
F
F
T
 
 
 
F
 
 
FTFF  
 
 
F
 
 
 
 
T
 
F
F
T
 
 
 
F
 
 
FFTT  
 
 
T
 
 
 
 
T
 
F
F
F
 
 
 
T
 
 
FFTF  
 
 
F
 
 
 
 
T
 
F
F
F
 
 
 
T
 
 
FFFT  
 
 
T
 
 
 
 
T
 
F
F
F
 
 
 
F
 
 
FFFF  
 
 
F
 
 
 
 
T
 
F
F
F
 
 
 
F
 
 


Step 4

P
Q
R
S
  
~
(
S
(
~
(
P
&
Q
)
R
)
)
TTTT  
 
 
T
 
 
 
 
F
 
T
T
T
 
T
 
T
 
 
TTTF  
 
 
F
 
 
 
 
F
 
T
T
T
 
T
 
T
 
 
TTFT  
 
 
T
 
 
 
 
F
 
T
T
T
 
T
 
F
 
 
TTFF  
 
 
F
 
 
 
 
F
 
T
T
T
 
T
 
F
 
 
TFTT  
 
 
T
 
 
 
 
T
 
T
F
F
 
T
 
T
 
 
TFTF  
 
 
F
 
 
 
 
T
 
T
F
F
 
T
 
T
 
 
TFFT  
 
 
T
 
 
 
 
T
 
T
F
F
 
F
 
F
 
 
TFFF  
 
 
F
 
 
 
 
T
 
T
F
F
 
F
 
F
 
 
FTTT  
 
 
T
 
 
 
 
T
 
F
F
T
 
T
 
T
 
 
FTTF  
 
 
F
 
 
 
 
T
 
F
F
T
 
T
 
T
 
 
FTFT  
 
 
T
 
 
 
 
T
 
F
F
T
 
F
 
F
 
 
FTFF  
 
 
F
 
 
 
 
T
 
F
F
T
 
F
 
F
 
 
FFTT  
 
 
T
 
 
 
 
T
 
F
F
F
 
T
 
T
 
 
FFTF  
 
 
F
 
 
 
 
T
 
F
F
F
 
T
 
T
 
 
FFFT  
 
 
T
 
 
 
 
T
 
F
F
F
 
F
 
F
 
 
FFFF  
 
 
F
 
 
 
 
T
 
F
F
F
 
F
 
F
 
 


Step 5

P
Q
R
S
  
~
(
S
 
 
(
~
(
P
&
Q
)
 
R
)
)
TTTT  
 
 
T
 
T
 
 
F
 
T
T
T
 
T
 
T
 
 
TTTF  
 
 
F
 
F
 
 
F
 
T
T
T
 
T
 
T
 
 
TTFT  
 
 
T
 
T
 
 
F
 
T
T
T
 
T
 
F
 
 
TTFF  
 
 
F
 
F
 
 
F
 
T
T
T
 
T
 
F
 
 
TFTT  
 
 
T
 
T
 
 
T
 
T
F
F
 
T
 
T
 
 
TFTF  
 
 
F
 
F
 
 
T
 
T
F
F
 
T
 
T
 
 
TFFT  
 
 
T
 
F
 
 
T
 
T
F
F
 
F
 
F
 
 
TFFF  
 
 
F
 
T
 
 
T
 
T
F
F
 
F
 
F
 
 
FTTT  
 
 
T
 
T
 
 
T
 
F
F
T
 
T
 
T
 
 
FTTF  
 
 
F
 
F
 
 
T
 
F
F
T
 
T
 
T
 
 
FTFT  
 
 
T
 
F
 
 
T
 
F
F
T
 
F
 
F
 
 
FTFF  
 
 
F
 
T
 
 
T
 
F
F
T
 
F
 
F
 
 
FFTT  
 
 
T
 
T
 
 
T
 
F
F
F
 
T
 
T
 
 
FFTF  
 
 
F
 
F
 
 
T
 
F
F
F
 
T
 
T
 
 
FFFT  
 
 
T
 
F
 
 
T
 
F
F
F
 
F
 
F
 
 
FFFF  
 
 
F
 
T
 
 
T
 
F
F
F
 
F
 
F
 
 


Step 6

P
Q
R
S
  
~
(
S
 
 
(
~
(
P
&
Q
)
 
R
)
)
TTTT  
F
 
T
 
T
 
 
F
 
T
T
T
 
T
 
T
 
 
TTTF  
T
 
F
 
F
 
 
F
 
T
T
T
 
T
 
T
 
 
TTFT  
F
 
T
 
T
 
 
F
 
T
T
T
 
T
 
F
 
 
TTFF  
T
 
F
 
F
 
 
F
 
T
T
T
 
T
 
F
 
 
TFTT  
F
 
T
 
T
 
 
T
 
T
F
F
 
T
 
T
 
 
TFTF  
T
 
F
 
F
 
 
T
 
T
F
F
 
T
 
T
 
 
TFFT  
T
 
T
 
F
 
 
T
 
T
F
F
 
F
 
F
 
 
TFFF  
F
 
F
 
T
 
 
T
 
T
F
F
 
F
 
F
 
 
FTTT  
F
 
T
 
T
 
 
T
 
F
F
T
 
T
 
T
 
 
FTTF  
T
 
F
 
F
 
 
T
 
F
F
T
 
T
 
T
 
 
FTFT  
T
 
T
 
F
 
 
T
 
F
F
T
 
F
 
F
 
 
FTFF  
F
 
F
 
T
 
 
T
 
F
F
T
 
F
 
F
 
 
FFTT  
F
 
T
 
T
 
 
T
 
F
F
F
 
T
 
T
 
 
FFTF  
T
 
F
 
F
 
 
T
 
F
F
F
 
T
 
T
 
 
FFFT  
T
 
T
 
F
 
 
T
 
F
F
F
 
F
 
F
 
 
FFFF  
F
 
F
 
T
 
 
T
 
F
F
F
 
F
 
F
 
 

<< previous page


AddThis Social Bookmark Button

About

Search this site

Quote of the page

Man is but a reed, the weakest in nature, but he is a thinking reed.


Blaise Pascal