tabela_teste.out

Problema #6
R S | ~R  S > (~R)  
0 0 | 1         1                      
0 1 | 1         1                      
1 0 | 0         1                      
1 1 | 0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #7
Q R S | R & Q  R & Q  S v (R & Q)  (S v (R & Q)) v (R & Q)  
0 0 0 |    0      0            0                        0                        
0 0 1 |    0      0            1                        1                        
0 1 0 |    0      0            0                        0                        
0 1 1 |    0      0            1                        1                        
1 0 0 |    0      0            0                        0                        
1 0 1 |    0      0            1                        1                        
1 1 0 |    1      1            1                        1                        
1 1 1 |    1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #9
S | S & S  
0 |    0                    
1 |    1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #16
P R S | S & P  R < S  ~(R < S)  (S & P) & (~(R < S))  ~((S & P) & (~(R < S)))  
0 0 0 |     0      1         0                     0                        1                        
0 0 1 |     0      0         1                     0                        1                        
0 1 0 |     0      0         1                     0                        1                        
0 1 1 |     0      1         0                     0                        1                        
1 0 0 |     0      1         0                     0                        1                        
1 0 1 |     1      0         1                     1                        0                        
1 1 0 |     0      0         1                     0                        1                        
1 1 1 |     1      1         0                     0                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #12
R | R & R  R & R  R & R  R & R  ~(R & R)  (R & R) v R  (R & R) < (R & R)  ((R & R) v R) > (~(R & R))  ((R & R) < (R & R)) & (((R & R) v R) > (~(R & R)))  
0 |     0      0      0      0         1            0                  1                           1                                                   1                    
1 |     1      1      1      1         0            1                  1                           0                                                   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #19
Q | Q & Q  
0 |     0                    
1 |     1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #21
P Q S | Q < S  (Q < S) v S  ((Q < S) v S) v Q  P > (((Q < S) v S) v Q)  (P > (((Q < S) v S) v Q)) v P  
0 0 0 |     1            1                  1                        1                              1                        
0 0 1 |     0            1                  1                        1                              1                        
0 1 0 |     0            0                  1                        1                              1                        
0 1 1 |     1            1                  1                        1                              1                        
1 0 0 |     1            1                  1                        1                              1                        
1 0 1 |     0            1                  1                        1                              1                        
1 1 0 |     0            0                  1                        1                              1                        
1 1 1 |     1            1                  1                        1                              1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #22
S | ~S  
0 |  1                    
1 |  0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #23
Q | ~Q  ~(~Q)  
0 |  1      0                    
1 |  0      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #14
Q S | ~S  Q < (~S)  S > (Q < (~S))  ~(S > (Q < (~S)))  
0 0 |  1         0               1                  0                      
0 1 |  0         1               1                  0                      
1 0 |  1         1               1                  0                      
1 1 |  0         0               0                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #26
P Q R S | P & Q  R & Q  P & Q  P > P  P > P  P > P  P & Q  R & Q  P & Q  P > P  P > P  S & (P & Q)  (P > P) > Q  S & (P & Q)  (P > P) > Q  (P & Q) < (P > P)  (P & Q) < (P > P)  (S & (P & Q)) & (R & Q)  (S & (P & Q)) & (R & Q)  ((P & Q) < (P > P)) < ((P > P) > Q)  ((P & Q) < (P > P)) < ((P > P) > Q)  ((S & (P & Q)) & (R & Q)) v (((P & Q) < (P > P)) < ((P > P) > Q))  ((S & (P & Q)) & (R & Q)) v (((P & Q) < (P > P)) < ((P > P) > Q))  (((S & (P & Q)) & (R & Q)) v (((P & Q) < (P > P)) < ((P > P) > Q))) & (P > P)  ((((S & (P & Q)) & (R & Q)) v (((P & Q) < (P > P)) < ((P > P) > Q))) & (P > P)) > (((S & (P & Q)) & (R & Q)) v (((P & Q) < (P > P)) < ((P > P) > Q)))  
0 0 0 0 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
0 0 0 1 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
0 0 1 0 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
0 0 1 1 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
0 1 0 0 |     0      0      0      1      1      1      0      0      0      1      1            0            1            0            1                  0                  0                        0                        0                                    0                                    0                                                                  0                                                                  0                                                                              0                                                                                                                                                      1                          
0 1 0 1 |     0      0      0      1      1      1      0      0      0      1      1            0            1            0            1                  0                  0                        0                        0                                    0                                    0                                                                  0                                                                  0                                                                              0                                                                                                                                                      1                          
0 1 1 0 |     0      1      0      1      1      1      0      1      0      1      1            0            1            0            1                  0                  0                        0                        0                                    0                                    0                                                                  0                                                                  0                                                                              0                                                                                                                                                      1                          
0 1 1 1 |     0      1      0      1      1      1      0      1      0      1      1            0            1            0            1                  0                  0                        0                        0                                    0                                    0                                                                  0                                                                  0                                                                              0                                                                                                                                                      1                          
1 0 0 0 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 0 0 1 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 0 1 0 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 0 1 1 |     0      0      0      1      1      1      0      0      0      1      1            0            0            0            0                  0                  0                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 1 0 0 |     1      0      1      1      1      1      1      0      1      1      1            0            1            0            1                  1                  1                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 1 0 1 |     1      0      1      1      1      1      1      0      1      1      1            1            1            1            1                  1                  1                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 1 1 0 |     1      1      1      1      1      1      1      1      1      1      1            0            1            0            1                  1                  1                        0                        0                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
1 1 1 1 |     1      1      1      1      1      1      1      1      1      1      1            1            1            1            1                  1                  1                        1                        1                                    1                                    1                                                                  1                                                                  1                                                                              1                                                                                                                                                      1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #60
S | ~S  
0 |  1                    
1 |  0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #61
P Q | P v Q  
0 0 |     0                      
0 1 |     1                      
1 0 |     1                      
1 1 |     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #62
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #63
R S | S < S  S > (S < S)  R > (S > (S < S))  
0 0 |     1            1                  1                      
0 1 |     1            1                  1                      
1 0 |     1            1                  1                      
1 1 |     1            1                  1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #59
P Q S | ~Q  S v P  S v P  S v P  (~Q) < S  S v (S v P)  S v (S v P)  S v (S v P)  (S v (S v P)) < Q  (S v (S v P)) < Q  (S v (S v P)) > ((S v (S v P)) < Q)  ((S v (S v P)) < Q) & ((S v (S v P)) > ((S v (S v P)) < Q))  ((~Q) < S) v (((S v (S v P)) < Q) & ((S v (S v P)) > ((S v (S v P)) < Q)))  
0 0 0 |  1      0      0      0         0            0            0            0                  1                  1                                    1                                                            1                                                                           1                        
0 0 1 |  1      1      1      1         1            1            1            1                  0                  0                                    0                                                            0                                                                           1                        
0 1 0 |  0      0      0      0         1            0            0            0                  0                  0                                    1                                                            0                                                                           1                        
0 1 1 |  0      1      1      1         0            1            1            1                  1                  1                                    1                                                            1                                                                           1                        
1 0 0 |  1      1      1      1         0            1            1            1                  0                  0                                    0                                                            0                                                                           0                        
1 0 1 |  1      1      1      1         1            1            1            1                  0                  0                                    0                                                            0                                                                           1                        
1 1 0 |  0      1      1      1         1            1            1            1                  1                  1                                    1                                                            1                                                                           1                        
1 1 1 |  0      1      1      1         0            1            1            1                  1                  1                                    1                                                            1                                                                           1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #65
S |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #66
Q | ~Q  ~Q  (~Q) v (~Q)  
0 |  1   1            1                    
1 |  0   0            0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #64
P S | P & S  P & S  (P & S) < P  (P & S) v ((P & S) < P)  
0 0 |     0      0            1                        1                      
0 1 |     0      0            1                        1                      
1 0 |     0      0            0                        0                      
1 1 |     1      1            1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #68
Q S | Q > S  (Q > S) > S  
0 0 |     1            0                      
0 1 |     1            1                      
1 0 |     0            1                      
1 1 |     1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #69
Q | Q v Q  ~(Q v Q)  
0 |     0         1                    
1 |     1         0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #70
P S | S > S  S & P  S > S  (S > S) & (S & P)  S v ((S > S) & (S & P))  P & (S v ((S > S) & (S & P)))  (P & (S v ((S > S) & (S & P)))) > (S > S)  
0 0 |     1      0      1                  0                        0                              0                                          1                      
0 1 |     1      0      1                  0                        1                              0                                          1                      
1 0 |     1      0      1                  0                        0                              0                                          1                      
1 1 |     1      1      1                  1                        1                              1                                          1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #71
P Q S | Q > S  (Q > S) & P  
0 0 0 |     1            0                        
0 0 1 |     1            0                        
0 1 0 |     0            0                        
0 1 1 |     1            0                        
1 0 0 |     1            1                        
1 0 1 |     1            1                        
1 1 0 |     0            0                        
1 1 1 |     1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #72
Q R S | R < Q  S v (R < Q)  
0 0 0 |     1            1                        
0 0 1 |     1            1                        
0 1 0 |     0            0                        
0 1 1 |     0            1                        
1 0 0 |     0            0                        
1 0 1 |     0            1                        
1 1 0 |     1            1                        
1 1 1 |     1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #73
P R | R v P  
0 0 |     0                      
0 1 |     1                      
1 0 |     1                      
1 1 |     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #74
P R | R & P  
0 0 |     0                      
0 1 |     0                      
1 0 |     0                      
1 1 |     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #75
P R S | ~S  P > R  P > R  ~(P > R)  ~(P > R)  (~(P > R)) v (~(P > R))  ((~(P > R)) v (~(P > R))) v (~S)  ~(((~(P > R)) v (~(P > R))) v (~S))  
0 0 0 |  1      1      1         0         0                        0                                 1                                    0                        
0 0 1 |  0      1      1         0         0                        0                                 0                                    1                        
0 1 0 |  1      1      1         0         0                        0                                 1                                    0                        
0 1 1 |  0      1      1         0         0                        0                                 0                                    1                        
1 0 0 |  1      0      0         1         1                        1                                 1                                    0                        
1 0 1 |  0      0      0         1         1                        1                                 1                                    0                        
1 1 0 |  1      1      1         0         0                        0                                 1                                    0                        
1 1 1 |  0      1      1         0         0                        0                                 0                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #76
R | R v R  
0 |     0                    
1 |     1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #77
P Q S | ~Q  P < S  P < S  P > (P < S)  (P < S) & (P > (P < S))  ((P < S) & (P > (P < S))) v (~Q)  
0 0 0 |  1      1      1            1                        1                                 1                        
0 0 1 |  1      0      0            1                        0                                 1                        
0 1 0 |  0      1      1            1                        1                                 1                        
0 1 1 |  0      0      0            1                        0                                 0                        
1 0 0 |  1      0      0            0                        0                                 1                        
1 0 1 |  1      1      1            1                        1                                 1                        
1 1 0 |  0      0      0            0                        0                                 0                        
1 1 1 |  0      1      1            1                        1                                 1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #78
P Q | P > Q  
0 0 |     1                      
0 1 |     1                      
1 0 |     0                      
1 1 |     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #79
P Q R S | R & Q  R & Q  R & Q  P v R  (R & Q) & S  (P v R) & R  (R & Q) & ((R & Q) & S)  ((R & Q) & ((R & Q) & S)) < (R & Q)  (((R & Q) & ((R & Q) & S)) < (R & Q)) < ((P v R) & R)  ((((R & Q) & ((R & Q) & S)) < (R & Q)) < ((P v R) & R)) < P  
0 0 0 0 |     0      0      0      0            0            0                        0                                    1                                                      0                                                            1                          
0 0 0 1 |     0      0      0      0            0            0                        0                                    1                                                      0                                                            1                          
0 0 1 0 |     0      0      0      1            0            1                        0                                    1                                                      1                                                            0                          
0 0 1 1 |     0      0      0      1            0            1                        0                                    1                                                      1                                                            0                          
0 1 0 0 |     0      0      0      0            0            0                        0                                    1                                                      0                                                            1                          
0 1 0 1 |     0      0      0      0            0            0                        0                                    1                                                      0                                                            1                          
0 1 1 0 |     1      1      1      1            0            1                        0                                    0                                                      0                                                            1                          
0 1 1 1 |     1      1      1      1            1            1                        1                                    1                                                      1                                                            0                          
1 0 0 0 |     0      0      0      1            0            0                        0                                    1                                                      0                                                            0                          
1 0 0 1 |     0      0      0      1            0            0                        0                                    1                                                      0                                                            0                          
1 0 1 0 |     0      0      0      1            0            1                        0                                    1                                                      1                                                            1                          
1 0 1 1 |     0      0      0      1            0            1                        0                                    1                                                      1                                                            1                          
1 1 0 0 |     0      0      0      1            0            0                        0                                    1                                                      0                                                            0                          
1 1 0 1 |     0      0      0      1            0            0                        0                                    1                                                      0                                                            0                          
1 1 1 0 |     1      1      1      1            0            1                        0                                    0                                                      0                                                            0                          
1 1 1 1 |     1      1      1      1            1            1                        1                                    1                                                      1                                                            1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #67
S | S & S  ~(S & S)  
0 |     0         1                    
1 |     1         0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #82
P | ~P  
0 |  1                    
1 |  0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #83
S | ~S  
0 |  1                    
1 |  0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #84
Q R S | ~R  ~R  R > S  R & Q  ~(R > S)  (~R) v (~(R > S))  ((~R) v (~(R > S))) < (R & Q)  (((~R) v (~(R > S))) < (R & Q)) > (~R)  
0 0 0 |  1   1      1      0         0                  1                              0                                       1                        
0 0 1 |  1   1      1      0         0                  1                              0                                       1                        
0 1 0 |  0   0      0      0         1                  1                              0                                       1                        
0 1 1 |  0   0      1      0         0                  0                              1                                       0                        
1 0 0 |  1   1      1      0         0                  1                              0                                       1                        
1 0 1 |  1   1      1      0         0                  1                              0                                       1                        
1 1 0 |  0   0      0      1         1                  1                              1                                       0                        
1 1 1 |  0   0      1      1         0                  0                              0                                       1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #80
P S | ~P  S v (~P)  (S v (~P)) v S  
0 0 |  1         1               1                      
0 1 |  1         1               1                      
1 0 |  0         0               0                      
1 1 |  0         1               1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #86
Q S | S & Q  
0 0 |     0                      
0 1 |     0                      
1 0 |     0                      
1 1 |     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #87
Q | Q & Q  
0 |     0                    
1 |     1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #88
Q R S | ~Q  ~S  R & S  R & S  (R & S) & (~Q)  ((R & S) & (~Q)) & (~S)  (R & S) > (((R & S) & (~Q)) & (~S))  
0 0 0 |  1   1      0      0               0                        0                                    1                        
0 0 1 |  1   0      0      0               0                        0                                    1                        
0 1 0 |  1   1      0      0               0                        0                                    1                        
0 1 1 |  1   0      1      1               1                        0                                    0                        
1 0 0 |  0   1      0      0               0                        0                                    1                        
1 0 1 |  0   0      0      0               0                        0                                    1                        
1 1 0 |  0   1      0      0               0                        0                                    1                        
1 1 1 |  0   0      1      1               0                        0                                    0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #89
P R | R & R  (R & R) < P  
0 0 |     0            1                      
0 1 |     1            0                      
1 0 |     0            0                      
1 1 |     1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #90
P S | S < P  ~(S < P)  
0 0 |     1         0                      
0 1 |     0         1                      
1 0 |     0         1                      
1 1 |     1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #91
P Q R S | ~R  ~P  ~S  R < Q  (~R) > Q  (~P) & (~S)  ((~R) > Q) v (R < Q)  (((~R) > Q) v (R < Q)) v ((~P) & (~S))  
0 0 0 0 |  1   1   1      1         0            1                     1                                       1                          
0 0 0 1 |  1   1   0      1         0            0                     1                                       1                          
0 0 1 0 |  0   1   1      0         1            1                     1                                       1                          
0 0 1 1 |  0   1   0      0         1            0                     1                                       1                          
0 1 0 0 |  1   1   1      0         1            1                     1                                       1                          
0 1 0 1 |  1   1   0      0         1            0                     1                                       1                          
0 1 1 0 |  0   1   1      1         1            1                     1                                       1                          
0 1 1 1 |  0   1   0      1         1            0                     1                                       1                          
1 0 0 0 |  1   0   1      1         0            0                     1                                       1                          
1 0 0 1 |  1   0   0      1         0            0                     1                                       1                          
1 0 1 0 |  0   0   1      0         1            0                     1                                       1                          
1 0 1 1 |  0   0   0      0         1            0                     1                                       1                          
1 1 0 0 |  1   0   1      0         1            0                     1                                       1                          
1 1 0 1 |  1   0   0      0         1            0                     1                                       1                          
1 1 1 0 |  0   0   1      1         1            0                     1                                       1                          
1 1 1 1 |  0   0   0      1         1            0                     1                                       1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #92
R |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #100
P Q R S | R > P  S > P  R > P  R v Q  (R > P) v S  Q > (R > P)  (Q > (R > P)) & (R v Q)  (S > P) > ((Q > (R > P)) & (R v Q))  ((R > P) v S) & ((S > P) > ((Q > (R > P)) & (R v Q)))  
0 0 0 0 |      1      1      1      0            1            1                        0                                    0                                                      0                          
0 0 0 1 |      1      0      1      0            1            1                        0                                    1                                                      1                          
0 0 1 0 |      0      1      0      1            0            1                        1                                    1                                                      0                          
0 0 1 1 |      0      0      0      1            1            1                        1                                    1                                                      1                          
0 1 0 0 |      1      1      1      1            1            1                        1                                    1                                                      1                          
0 1 0 1 |      1      0      1      1            1            1                        1                                    1                                                      1                          
0 1 1 0 |      0      1      0      1            0            0                        0                                    0                                                      0                          
0 1 1 1 |      0      0      0      1            1            0                        0                                    1                                                      1                          
1 0 0 0 |      1      1      1      0            1            1                        0                                    0                                                      0                          
1 0 0 1 |      1      1      1      0            1            1                        0                                    0                                                      0                          
1 0 1 0 |      1      1      1      1            1            1                        1                                    1                                                      1                          
1 0 1 1 |      1      1      1      1            1            1                        1                                    1                                                      1                          
1 1 0 0 |      1      1      1      1            1            1                        1                                    1                                                      1                          
1 1 0 1 |      1      1      1      1            1            1                        1                                    1                                                      1                          
1 1 1 0 |      1      1      1      1            1            1                        1                                    1                                                      1                          
1 1 1 1 |      1      1      1      1            1            1                        1                                    1                                                      1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #118
Q S | Q > S  Q > S  Q > S  ~(Q > S)  ~(Q > S)  ~(Q > S)  S & (~(Q > S))  (~(Q > S)) & (S & (~(Q > S)))  (~(Q > S)) > ((~(Q > S)) & (S & (~(Q > S))))  Q > ((~(Q > S)) > ((~(Q > S)) & (S & (~(Q > S)))))  
0 0 |      1      1      1         0         0         0               0                              0                                             1                                                   1                      
0 1 |      1      1      1         0         0         0               0                              0                                             1                                                   1                      
1 0 |      0      0      0         1         1         1               0                              0                                             0                                                   0                      
1 1 |      1      1      1         0         0         0               0                              0                                             1                                                   1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #122
Q R | ~R  (~R) v R  ((~R) v R) v Q  
0 0 |   1         1               1                      
0 1 |   0         1               1                      
1 0 |   1         1               1                      
1 1 |   0         1               1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #126
P Q | P v Q  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #132
Q R | ~R  ~R  Q & (~R)  Q & (~R)  (Q & (~R)) < (Q & (~R))  
0 0 |   1   1         0         0                        1                      
0 1 |   0   0         0         0                        1                      
1 0 |   1   1         1         1                        1                      
1 1 |   0   0         0         0                        1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #133
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #136
R S | ~S  R v (~S)  
0 0 |   1         1                      
0 1 |   0         0                      
1 0 |   1         1                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #139
P Q R S | Q > R  P v (Q > R)  R < (P v (Q > R))  (R < (P v (Q > R))) > S  S < ((R < (P v (Q > R))) > S)  (S < ((R < (P v (Q > R))) > S)) < S  
0 0 0 0 |      1            1                  0                        1                              0                                    1                          
0 0 0 1 |      1            1                  0                        1                              1                                    1                          
0 0 1 0 |      1            1                  1                        0                              1                                    0                          
0 0 1 1 |      1            1                  1                        1                              1                                    1                          
0 1 0 0 |      0            0                  1                        0                              1                                    0                          
0 1 0 1 |      0            0                  1                        1                              1                                    1                          
0 1 1 0 |      1            1                  1                        0                              1                                    0                          
0 1 1 1 |      1            1                  1                        1                              1                                    1                          
1 0 0 0 |      1            1                  0                        1                              0                                    1                          
1 0 0 1 |      1            1                  0                        1                              1                                    1                          
1 0 1 0 |      1            1                  1                        0                              1                                    0                          
1 0 1 1 |      1            1                  1                        1                              1                                    1                          
1 1 0 0 |      0            1                  0                        1                              0                                    1                          
1 1 0 1 |      0            1                  0                        1                              1                                    1                          
1 1 1 0 |      1            1                  1                        0                              1                                    0                          
1 1 1 1 |      1            1                  1                        1                              1                                    1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #143
P Q | ~Q  ~P  (~P) < Q  (~Q) & ((~P) < Q)  
0 0 |   1   1         0                  0                      
0 1 |   0   1         1                  0                      
1 0 |   1   0         1                  1                      
1 1 |   0   0         0                  0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #146
Q R | ~Q  R < (~Q)  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #149
P Q | Q v P  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #155
P S | ~P  ~P  ~(~P)  (~P) v P  S v ((~P) v P)  (S v ((~P) v P)) < P  (~(~P)) & ((S v ((~P) v P)) < P)  
0 0 |   1   1      0         1               1                     0                                 0                      
0 1 |   1   1      0         1               1                     0                                 0                      
1 0 |   0   0      1         1               1                     1                                 1                      
1 1 |   0   0      1         1               1                     1                                 1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #158
P R S | S < P  R v R  (S < P) v (R v R)  
0 0 0 |      1      0                  1                        
0 0 1 |      0      0                  0                        
0 1 0 |      1      1                  1                        
0 1 1 |      0      1                  1                        
1 0 0 |      0      0                  0                        
1 0 1 |      1      0                  1                        
1 1 0 |      0      1                  1                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #163
P R | R v P  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #166
P R S | S > P  (S > P) > R  
0 0 0 |      1            0                        
0 0 1 |      0            1                        
0 1 0 |      1            1                        
0 1 1 |      0            1                        
1 0 0 |      1            0                        
1 0 1 |      1            0                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #169
P R S | ~P  ~P  ~P  ~P  P v S  (~P) & (~P)  (~P) & (~P)  ((~P) & (~P)) > R  (P v S) > (((~P) & (~P)) > R)  ~((P v S) > (((~P) & (~P)) > R))  (~((P v S) > (((~P) & (~P)) > R))) > ((~P) & (~P))  
0 0 0 |   1   1   1   1      0            1            1                  0                              1                                 0                                                   1                        
0 0 1 |   1   1   1   1      1            1            1                  0                              0                                 1                                                   1                        
0 1 0 |   1   1   1   1      0            1            1                  1                              1                                 0                                                   1                        
0 1 1 |   1   1   1   1      1            1            1                  1                              1                                 0                                                   1                        
1 0 0 |   0   0   0   0      1            0            0                  1                              1                                 0                                                   1                        
1 0 1 |   0   0   0   0      1            0            0                  1                              1                                 0                                                   1                        
1 1 0 |   0   0   0   0      1            0            0                  1                              1                                 0                                                   1                        
1 1 1 |   0   0   0   0      1            0            0                  1                              1                                 0                                                   1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #172
Q R | ~Q  ~Q  R v Q  ~(~Q)  R > (R v Q)  (R > (R v Q)) > (~(~Q))  (~Q) < ((R > (R v Q)) > (~(~Q)))  
0 0 |   1   1      0      0            1                        0                                 0                      
0 1 |   1   1      1      0            1                        0                                 0                      
1 0 |   0   0      1      1            1                        1                                 0                      
1 1 |   0   0      1      1            1                        1                                 0                      
Não, não é satisfatível.
Não, não é tautologia.

Problema #177
Q R S | Q > S  Q > S  (Q > S) < R  (Q > S) < R  S v ((Q > S) < R)  (S v ((Q > S) < R)) & ((Q > S) < R)  ~((S v ((Q > S) < R)) & ((Q > S) < R))  
0 0 0 |      1      1            0            0                  0                                    0                                       1                        
0 0 1 |      1      1            0            0                  1                                    0                                       1                        
0 1 0 |      1      1            1            1                  1                                    1                                       0                        
0 1 1 |      1      1            1            1                  1                                    1                                       0                        
1 0 0 |      0      0            1            1                  1                                    1                                       0                        
1 0 1 |      1      1            0            0                  1                                    0                                       1                        
1 1 0 |      0      0            0            0                  0                                    0                                       1                        
1 1 1 |      1      1            1            1                  1                                    1                                       0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #184
P S | P < S  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #186
P Q S | S & Q  S & Q  S & Q  S & Q  (S & Q) & P  (S & Q) & P  (S & Q) & P  (S & Q) & P  ~((S & Q) & P)  ~((S & Q) & P)  ((S & Q) & P) v Q  ((S & Q) & P) v Q  ~(((S & Q) & P) v Q)  ~(((S & Q) & P) v Q)  (~((S & Q) & P)) < (~(((S & Q) & P) v Q))  (~((S & Q) & P)) < (~(((S & Q) & P) v Q))  ((~((S & Q) & P)) < (~(((S & Q) & P) v Q))) < ((~((S & Q) & P)) < (~(((S & Q) & P) v Q)))  
0 0 0 |      0      0      0      0            0            0            0            0               1               1                  0                  0                     1                     1                                          1                                          1                                                                                          1                        
0 0 1 |      0      0      0      0            0            0            0            0               1               1                  0                  0                     1                     1                                          1                                          1                                                                                          1                        
0 1 0 |      0      0      0      0            0            0            0            0               1               1                  1                  1                     0                     0                                          0                                          0                                                                                          1                        
0 1 1 |      1      1      1      1            0            0            0            0               1               1                  1                  1                     0                     0                                          0                                          0                                                                                          1                        
1 0 0 |      0      0      0      0            0            0            0            0               1               1                  0                  0                     1                     1                                          1                                          1                                                                                          1                        
1 0 1 |      0      0      0      0            0            0            0            0               1               1                  0                  0                     1                     1                                          1                                          1                                                                                          1                        
1 1 0 |      0      0      0      0            0            0            0            0               1               1                  1                  1                     0                     0                                          0                                          0                                                                                          1                        
1 1 1 |      1      1      1      1            1            1            1            1               0               0                  1                  1                     0                     0                                          1                                          1                                                                                          1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #189
P R | ~R  P v R  (P v R) > (~R)  
0 0 |   1      0               1                      
0 1 |   0      1               0                      
1 0 |   1      1               1                      
1 1 |   0      1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #194
P Q S | P < S  (P < S) > Q  
0 0 0 |      1            0                        
0 0 1 |      0            1                        
0 1 0 |      1            1                        
0 1 1 |      0            1                        
1 0 0 |      0            1                        
1 0 1 |      1            0                        
1 1 0 |      0            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #195
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #198
P | ~P  ~(~P)  
0 |   1      0                    
1 |   0      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #199
R S | S < R  S < R  (S < R) & R  (S < R) v ((S < R) & R)  
0 0 |      1      1            0                        1                      
0 1 |      0      0            0                        0                      
1 0 |      0      0            0                        0                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #200
P Q R S | P & S  P & S  ~(P & S)  (P & S) v R  (~(P & S)) v Q  ((P & S) v R) & ((~(P & S)) v Q)  
0 0 0 0 |      0      0         1            0               1                                 0                          
0 0 0 1 |      0      0         1            0               1                                 0                          
0 0 1 0 |      0      0         1            1               1                                 1                          
0 0 1 1 |      0      0         1            1               1                                 1                          
0 1 0 0 |      0      0         1            0               1                                 0                          
0 1 0 1 |      0      0         1            0               1                                 0                          
0 1 1 0 |      0      0         1            1               1                                 1                          
0 1 1 1 |      0      0         1            1               1                                 1                          
1 0 0 0 |      0      0         1            0               1                                 0                          
1 0 0 1 |      1      1         0            1               0                                 0                          
1 0 1 0 |      0      0         1            1               1                                 1                          
1 0 1 1 |      1      1         0            1               0                                 0                          
1 1 0 0 |      0      0         1            0               1                                 0                          
1 1 0 1 |      1      1         0            1               1                                 1                          
1 1 1 0 |      0      0         1            1               1                                 1                          
1 1 1 1 |      1      1         0            1               1                                 1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #204
P Q R | P & P  R < P  Q & (P & P)  (Q & (P & P)) < (R < P)  
0 0 0 |      0      1            0                        0                        
0 0 1 |      0      0            0                        1                        
0 1 0 |      0      1            0                        0                        
0 1 1 |      0      0            0                        1                        
1 0 0 |      1      0            0                        1                        
1 0 1 |      1      1            0                        0                        
1 1 0 |      1      0            1                        0                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #206
R | R > R  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #208
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #211
Q S | S > Q  ~(S > Q)  Q > (~(S > Q))  
0 0 |      1         0               1                      
0 1 |      0         1               1                      
1 0 |      1         0               0                      
1 1 |      1         0               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #17
R | ~R  
0 |  1                    
1 |  0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #218
S | S < S  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #85
Q S | Q < S  ~(Q < S)  
0 0 |     1         0                      
0 1 |     0         1                      
1 0 |     0         1                      
1 1 |     1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #223
P Q S | Q v P  S > S  (S > S) < Q  (Q v P) & ((S > S) < Q)  
0 0 0 |      0      1            0                        0                        
0 0 1 |      0      1            0                        0                        
0 1 0 |      1      1            1                        1                        
0 1 1 |      1      1            1                        1                        
1 0 0 |      1      1            0                        0                        
1 0 1 |      1      1            0                        0                        
1 1 0 |      1      1            1                        1                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #228
Q R | Q v R  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #231
P Q R | Q v R  P > Q  P > Q  P > Q  (P > Q) > R  (P > Q) v ((P > Q) > R)  (Q v R) & ((P > Q) v ((P > Q) > R))  ((Q v R) & ((P > Q) v ((P > Q) > R))) v (P > Q)  
0 0 0 |      0      1      1      1            0                        1                                    0                                                1                        
0 0 1 |      1      1      1      1            1                        1                                    1                                                1                        
0 1 0 |      1      1      1      1            0                        1                                    1                                                1                        
0 1 1 |      1      1      1      1            1                        1                                    1                                                1                        
1 0 0 |      0      0      0      0            1                        1                                    0                                                0                        
1 0 1 |      1      0      0      0            1                        1                                    1                                                1                        
1 1 0 |      1      1      1      1            0                        1                                    1                                                1                        
1 1 1 |      1      1      1      1            1                        1                                    1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #233
P R | R v P  (R v P) & P  
0 0 |      0            0                      
0 1 |      1            0                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #237
P R | P & R  R & R  P & R  P & R  (R & R) < (P & R)  (P & R) < ((R & R) < (P & R))  ((P & R) < ((R & R) < (P & R))) > (P & R)  
0 0 |      0      0      0      0                  1                              0                                          1                      
0 1 |      0      1      0      0                  0                              1                                          0                      
1 0 |      0      0      0      0                  1                              0                                          1                      
1 1 |      1      1      1      1                  1                              1                                          1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #240
P Q R | ~Q  Q < P  R < (~Q)  (Q < P) v (R < (~Q))  ~((Q < P) v (R < (~Q)))  P v (~((Q < P) v (R < (~Q))))  P > (P v (~((Q < P) v (R < (~Q)))))  ~(P > (P v (~((Q < P) v (R < (~Q))))))  
0 0 0 |   1      1         0                     1                        0                              0                                    1                                       0                        
0 0 1 |   1      1         1                     1                        0                              0                                    1                                       0                        
0 1 0 |   0      0         1                     1                        0                              0                                    1                                       0                        
0 1 1 |   0      0         0                     0                        1                              1                                    1                                       0                        
1 0 0 |   1      0         0                     0                        1                              1                                    1                                       0                        
1 0 1 |   1      0         1                     1                        0                              1                                    1                                       0                        
1 1 0 |   0      1         1                     1                        0                              1                                    1                                       0                        
1 1 1 |   0      1         0                     1                        0                              1                                    1                                       0                        
Não, não é satisfatível.
Não, não é tautologia.

Problema #244
R S | R > S  R & (R > S)  ~(R & (R > S))  (~(R & (R > S))) & R  
0 0 |      1            0               1                     0                      
0 1 |      1            0               1                     0                      
1 0 |      0            0               1                     1                      
1 1 |      1            1               0                     0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #250
P S | S v P  S & (S v P)  
0 0 |      0            0                      
0 1 |      1            1                      
1 0 |      1            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #255
P Q | Q < P  ~(Q < P)  
0 0 |      1         0                      
0 1 |      0         1                      
1 0 |      0         1                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #257
Q R S | S > R  (S > R) > Q  ((S > R) > Q) > S  
0 0 0 |      1            0                  1                        
0 0 1 |      0            1                  1                        
0 1 0 |      1            0                  1                        
0 1 1 |      1            0                  1                        
1 0 0 |      1            1                  0                        
1 0 1 |      0            1                  1                        
1 1 0 |      1            1                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #260
Q R | R v Q  R v Q  R > (R v Q)  (R v Q) < (R > (R v Q))  ~((R v Q) < (R > (R v Q)))  
0 0 |      0      0            1                        0                           1                      
0 1 |      1      1            1                        1                           0                      
1 0 |      1      1            1                        1                           0                      
1 1 |      1      1            1                        1                           0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #266
R | ~R  ~(~R)  R > R  ~(R > R)  (~(~R)) > (~(R > R))  
0 |   1      0      1         0                     1                    
1 |   0      1      1         0                     0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #271
Q | ~Q  (~Q) v Q  
0 |   1         1                    
1 |   0         1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #273
P Q S | P > Q  P > Q  (P > Q) & S  Q > (P > Q)  ((P > Q) & S) > (Q > (P > Q))  
0 0 0 |      1      1            0            1                              1                        
0 0 1 |      1      1            1            1                              1                        
0 1 0 |      1      1            0            1                              1                        
0 1 1 |      1      1            1            1                              1                        
1 0 0 |      0      0            0            1                              1                        
1 0 1 |      0      0            0            1                              1                        
1 1 0 |      1      1            0            1                              1                        
1 1 1 |      1      1            1            1                              1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #277
R S | R v S  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #276
P Q R S | ~R  Q < R  S > R  Q < R  Q < (Q < R)  Q < (S > R)  Q < (Q < R)  P v (Q < (Q < R))  P v (Q < (Q < R))  (~R) v (Q < (S > R))  (P v (Q < (Q < R))) v ((~R) v (Q < (S > R)))  ((P v (Q < (Q < R))) v ((~R) v (Q < (S > R)))) v (P v (Q < (Q < R)))  
0 0 0 0 |   1      1      1      1            0            0            0                  0                  0                     1                                             1                                                                     1                          
0 0 0 1 |   1      1      0      1            0            1            0                  0                  0                     1                                             1                                                                     1                          
0 0 1 0 |   0      0      1      0            1            0            1                  1                  1                     0                                             1                                                                     1                          
0 0 1 1 |   0      0      1      0            1            0            1                  1                  1                     0                                             1                                                                     1                          
0 1 0 0 |   1      0      1      0            0            1            0                  0                  0                     1                                             1                                                                     1                          
0 1 0 1 |   1      0      0      0            0            0            0                  0                  0                     1                                             1                                                                     1                          
0 1 1 0 |   0      1      1      1            1            1            1                  1                  1                     1                                             1                                                                     1                          
0 1 1 1 |   0      1      1      1            1            1            1                  1                  1                     1                                             1                                                                     1                          
1 0 0 0 |   1      1      1      1            0            0            0                  1                  1                     1                                             1                                                                     1                          
1 0 0 1 |   1      1      0      1            0            1            0                  1                  1                     1                                             1                                                                     1                          
1 0 1 0 |   0      0      1      0            1            0            1                  1                  1                     0                                             1                                                                     1                          
1 0 1 1 |   0      0      1      0            1            0            1                  1                  1                     0                                             1                                                                     1                          
1 1 0 0 |   1      0      1      0            0            1            0                  1                  1                     1                                             1                                                                     1                          
1 1 0 1 |   1      0      0      0            0            0            0                  1                  1                     1                                             1                                                                     1                          
1 1 1 0 |   0      1      1      1            1            1            1                  1                  1                     1                                             1                                                                     1                          
1 1 1 1 |   0      1      1      1            1            1            1                  1                  1                     1                                             1                                                                     1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #278
Q | Q v Q  Q v Q  (Q v Q) > Q  ((Q v Q) > Q) v (Q v Q)  
0 |      0      0            1                        1                    
1 |      1      1            1                        1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #280
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #283
P R | R > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #289
Q | Q > Q  Q > Q  (Q > Q) v (Q > Q)  Q < ((Q > Q) v (Q > Q))  
0 |      1      1                  1                        0                    
1 |      1      1                  1                        1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #279
P R S | R < S  R < S  S v P  S v (R < S)  (S v (R < S)) > (S v P)  (R < S) v ((S v (R < S)) > (S v P))  
0 0 0 |      1      1      0            1                        0                                    1                        
0 0 1 |      0      0      1            1                        1                                    1                        
0 1 0 |      0      0      0            0                        1                                    1                        
0 1 1 |      1      1      1            1                        1                                    1                        
1 0 0 |      1      1      1            1                        1                                    1                        
1 0 1 |      0      0      1            1                        1                                    1                        
1 1 0 |      0      0      1            0                        1                                    1                        
1 1 1 |      1      1      1            1                        1                                    1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #214
P | P & P  P & P  (P & P) < (P & P)  
0 |      0      0                  1                    
1 |      1      1                  1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #314
P R S | R v S  R v S  R v P  (R v S) v (R v S)  ((R v S) v (R v S)) v (R v P)  (((R v S) v (R v S)) v (R v P)) v P  ~((((R v S) v (R v S)) v (R v P)) v P)  
0 0 0 |      0      0      0                  0                              0                                    0                                       1                        
0 0 1 |      1      1      0                  1                              1                                    1                                       0                        
0 1 0 |      1      1      1                  1                              1                                    1                                       0                        
0 1 1 |      1      1      1                  1                              1                                    1                                       0                        
1 0 0 |      0      0      1                  0                              1                                    1                                       0                        
1 0 1 |      1      1      1                  1                              1                                    1                                       0                        
1 1 0 |      1      1      1                  1                              1                                    1                                       0                        
1 1 1 |      1      1      1                  1                              1                                    1                                       0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #317
Q R S | S v Q  R & S  (S v Q) & (R & S)  
0 0 0 |      0      0                  0                        
0 0 1 |      1      0                  0                        
0 1 0 |      0      0                  0                        
0 1 1 |      1      1                  1                        
1 0 0 |      1      0                  0                        
1 0 1 |      1      0                  0                        
1 1 0 |      1      0                  0                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #320
P S | ~S  P > (~S)  
0 0 |   1         1                      
0 1 |   0         1                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #322
P Q R S | P v Q  (P v Q) v S  Q > ((P v Q) v S)  (Q > ((P v Q) v S)) > Q  ((Q > ((P v Q) v S)) > Q) > R  
0 0 0 0 |      0            0                  1                        0                              1                          
0 0 0 1 |      0            1                  1                        0                              1                          
0 0 1 0 |      0            0                  1                        0                              1                          
0 0 1 1 |      0            1                  1                        0                              1                          
0 1 0 0 |      1            1                  1                        1                              0                          
0 1 0 1 |      1            1                  1                        1                              0                          
0 1 1 0 |      1            1                  1                        1                              1                          
0 1 1 1 |      1            1                  1                        1                              1                          
1 0 0 0 |      1            1                  1                        0                              1                          
1 0 0 1 |      1            1                  1                        0                              1                          
1 0 1 0 |      1            1                  1                        0                              1                          
1 0 1 1 |      1            1                  1                        0                              1                          
1 1 0 0 |      1            1                  1                        1                              0                          
1 1 0 1 |      1            1                  1                        1                              0                          
1 1 1 0 |      1            1                  1                        1                              1                          
1 1 1 1 |      1            1                  1                        1                              1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #325
P S | P & S  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #329
P Q R | ~P  ~P  R < Q  R < Q  (R < Q) < (~P)  (R < Q) < (~P)  ((R < Q) < (~P)) > ((R < Q) < (~P))  
0 0 0 |   1   1      1      1               1               1                                    1                        
0 0 1 |   1   1      0      0               0               0                                    1                        
0 1 0 |   1   1      0      0               0               0                                    1                        
0 1 1 |   1   1      1      1               1               1                                    1                        
1 0 0 |   0   0      1      1               0               0                                    1                        
1 0 1 |   0   0      0      0               1               1                                    1                        
1 1 0 |   0   0      0      0               1               1                                    1                        
1 1 1 |   0   0      1      1               0               0                                    1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #334
P Q S | P & Q  S & (P & Q)  
0 0 0 |      0            0                        
0 0 1 |      0            0                        
0 1 0 |      0            0                        
0 1 1 |      0            0                        
1 0 0 |      0            0                        
1 0 1 |      0            0                        
1 1 0 |      1            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #336
R | ~R  ~(~R)  ~(~(~R))  
0 |   1      0         1                    
1 |   0      1         0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #340
P Q S | ~Q  (~Q) > P  ((~Q) > P) < S  
0 0 0 |   1         0               1                        
0 0 1 |   1         0               0                        
0 1 0 |   0         1               0                        
0 1 1 |   0         1               1                        
1 0 0 |   1         1               0                        
1 0 1 |   1         1               1                        
1 1 0 |   0         1               0                        
1 1 1 |   0         1               1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #344
Q | ~Q  ~(~Q)  ~(~(~Q))  
0 |   1      0         1                    
1 |   0      1         0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #346
P Q | ~P  (~P) & Q  ~((~P) & Q)  
0 0 |   1         0            1                      
0 1 |   1         1            0                      
1 0 |   0         0            1                      
1 1 |   0         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #365
Q S | S < Q  (S < Q) v Q  
0 0 |      1            1                      
0 1 |      0            0                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #374
P Q R | Q > Q  (Q > Q) & R  P > ((Q > Q) & R)  
0 0 0 |      1            0                  1                        
0 0 1 |      1            1                  1                        
0 1 0 |      1            0                  1                        
0 1 1 |      1            1                  1                        
1 0 0 |      1            0                  0                        
1 0 1 |      1            1                  1                        
1 1 0 |      1            0                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #378
P Q | Q v Q  (Q v Q) & P  
0 0 |      0            0                      
0 1 |      1            0                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #380
P R | ~R  (~R) & P  P v ((~R) & P)  
0 0 |   1         0               0                      
0 1 |   0         0               0                      
1 0 |   1         1               1                      
1 1 |   0         0               1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #382
Q |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #397
Q R S | R v Q  (R v Q) > S  ((R v Q) > S) > Q  
0 0 0 |      0            1                  0                        
0 0 1 |      0            1                  0                        
0 1 0 |      1            0                  1                        
0 1 1 |      1            1                  0                        
1 0 0 |      1            0                  1                        
1 0 1 |      1            1                  1                        
1 1 0 |      1            0                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #405
Q S | S & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #410
P R | R > R  P & R  P & R  (P & R) > (P & R)  (R > R) < ((P & R) > (P & R))  
0 0 |      1      0      0                  1                              1                      
0 1 |      1      0      0                  1                              1                      
1 0 |      1      0      0                  1                              1                      
1 1 |      1      1      1                  1                              1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #417
P Q | P < P  Q v (P < P)  (Q v (P < P)) < Q  
0 0 |      1            1                  0                      
0 1 |      1            1                  1                      
1 0 |      1            1                  0                      
1 1 |      1            1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #420
P | P < P  ~(P < P)  
0 |      1         0                    
1 |      1         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #426
R S | S < S  R > S  R > S  S > (R > S)  (S > (R > S)) & (R > S)  (S < S) < ((S > (R > S)) & (R > S))  
0 0 |      1      1      1            1                        1                                    1                      
0 1 |      1      1      1            1                        1                                    1                      
1 0 |      1      0      0            1                        0                                    0                      
1 1 |      1      1      1            1                        1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #430
P Q R S | Q & R  (Q & R) v P  ((Q & R) v P) & S  (((Q & R) v P) & S) & S  
0 0 0 0 |      0            0                  0                        0                          
0 0 0 1 |      0            0                  0                        0                          
0 0 1 0 |      0            0                  0                        0                          
0 0 1 1 |      0            0                  0                        0                          
0 1 0 0 |      0            0                  0                        0                          
0 1 0 1 |      0            0                  0                        0                          
0 1 1 0 |      1            1                  0                        0                          
0 1 1 1 |      1            1                  1                        1                          
1 0 0 0 |      0            1                  0                        0                          
1 0 0 1 |      0            1                  1                        1                          
1 0 1 0 |      0            1                  0                        0                          
1 0 1 1 |      0            1                  1                        1                          
1 1 0 0 |      0            1                  0                        0                          
1 1 0 1 |      0            1                  1                        1                          
1 1 1 0 |      1            1                  0                        0                          
1 1 1 1 |      1            1                  1                        1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #435
P R S | S > P  (S > P) < P  ((S > P) < P) > R  (((S > P) < P) > R) < S  
0 0 0 |      1            0                  1                        0                        
0 0 1 |      0            1                  0                        0                        
0 1 0 |      1            0                  1                        0                        
0 1 1 |      0            1                  1                        1                        
1 0 0 |      1            1                  0                        1                        
1 0 1 |      1            1                  0                        0                        
1 1 0 |      1            1                  1                        0                        
1 1 1 |      1            1                  1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #440
P | ~P  (~P) < P  
0 |   1         0                    
1 |   0         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #446
P Q R | P > R  P > R  Q < (P > R)  Q < (P > R)  (Q < (P > R)) > (Q < (P > R))  
0 0 0 |      1      1            0            0                              1                        
0 0 1 |      1      1            0            0                              1                        
0 1 0 |      1      1            1            1                              1                        
0 1 1 |      1      1            1            1                              1                        
1 0 0 |      0      0            1            1                              1                        
1 0 1 |      1      1            0            0                              1                        
1 1 0 |      0      0            0            0                              1                        
1 1 1 |      1      1            1            1                              1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #448
P Q S | Q & P  P < S  (Q & P) > (P < S)  
0 0 0 |      0      1                  1                        
0 0 1 |      0      0                  1                        
0 1 0 |      0      1                  1                        
0 1 1 |      0      0                  1                        
1 0 0 |      0      0                  1                        
1 0 1 |      0      1                  1                        
1 1 0 |      1      0                  0                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #452
P Q | P & Q  (P & Q) & P  
0 0 |      0            0                      
0 1 |      0            0                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #456
Q R S | R & Q  R > Q  ~(R > Q)  (R & Q) < S  ((R & Q) < S) > (~(R > Q))  
0 0 0 |      0      1         0            1                           0                        
0 0 1 |      0      1         0            0                           1                        
0 1 0 |      0      0         1            1                           1                        
0 1 1 |      0      0         1            0                           1                        
1 0 0 |      0      1         0            1                           0                        
1 0 1 |      0      1         0            0                           1                        
1 1 0 |      1      1         0            0                           1                        
1 1 1 |      1      1         0            1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #459
P R S | R & P  R & S  ~(R & P)  (R & S) v P  (~(R & P)) < ((R & S) v P)  
0 0 0 |      0      0         1            0                           0                        
0 0 1 |      0      0         1            0                           0                        
0 1 0 |      0      0         1            0                           0                        
0 1 1 |      0      1         1            1                           1                        
1 0 0 |      0      0         1            1                           1                        
1 0 1 |      0      0         1            1                           1                        
1 1 0 |      1      0         0            1                           0                        
1 1 1 |      1      1         0            1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #464
Q R S | Q & R  (Q & R) & S  S < ((Q & R) & S)  
0 0 0 |      0            0                  1                        
0 0 1 |      0            0                  0                        
0 1 0 |      0            0                  1                        
0 1 1 |      0            0                  0                        
1 0 0 |      0            0                  1                        
1 0 1 |      0            0                  0                        
1 1 0 |      1            0                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #468
P Q R S | ~P  ~P  ~P  Q & R  P > (~P)  (~P) & Q  R v (Q & R)  S v (P > (~P))  ((~P) & Q) > (~P)  (S v (P > (~P))) & (((~P) & Q) > (~P))  ((S v (P > (~P))) & (((~P) & Q) > (~P))) & (R v (Q & R))  
0 0 0 0 |   1   1   1      0         1         0            0               1                  1                                       1                                                         0                          
0 0 0 1 |   1   1   1      0         1         0            0               1                  1                                       1                                                         0                          
0 0 1 0 |   1   1   1      0         1         0            1               1                  1                                       1                                                         1                          
0 0 1 1 |   1   1   1      0         1         0            1               1                  1                                       1                                                         1                          
0 1 0 0 |   1   1   1      0         1         1            0               1                  1                                       1                                                         0                          
0 1 0 1 |   1   1   1      0         1         1            0               1                  1                                       1                                                         0                          
0 1 1 0 |   1   1   1      1         1         1            1               1                  1                                       1                                                         1                          
0 1 1 1 |   1   1   1      1         1         1            1               1                  1                                       1                                                         1                          
1 0 0 0 |   0   0   0      0         0         0            0               0                  1                                       0                                                         0                          
1 0 0 1 |   0   0   0      0         0         0            0               1                  1                                       1                                                         0                          
1 0 1 0 |   0   0   0      0         0         0            1               0                  1                                       0                                                         0                          
1 0 1 1 |   0   0   0      0         0         0            1               1                  1                                       1                                                         1                          
1 1 0 0 |   0   0   0      0         0         0            0               0                  1                                       0                                                         0                          
1 1 0 1 |   0   0   0      0         0         0            0               1                  1                                       1                                                         0                          
1 1 1 0 |   0   0   0      1         0         0            1               0                  1                                       0                                                         0                          
1 1 1 1 |   0   0   0      1         0         0            1               1                  1                                       1                                                         1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #473
R S | S > R  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #471
Q R | R < Q  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #478
P Q R | Q > P  R v (Q > P)  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      0            0                        
0 1 1 |      0            1                        
1 0 0 |      1            1                        
1 0 1 |      1            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #479
Q |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #484
P Q R S | S > R  S > R  P < (S > R)  P < (S > R)  (P < (S > R)) v Q  ((P < (S > R)) v Q) < R  (P < (S > R)) & (((P < (S > R)) v Q) < R)  
0 0 0 0 |      1      1            0            0                  0                        1                                          0                          
0 0 0 1 |      0      0            1            1                  1                        0                                          0                          
0 0 1 0 |      1      1            0            0                  0                        0                                          0                          
0 0 1 1 |      1      1            0            0                  0                        0                                          0                          
0 1 0 0 |      1      1            0            0                  1                        0                                          0                          
0 1 0 1 |      0      0            1            1                  1                        0                                          0                          
0 1 1 0 |      1      1            0            0                  1                        1                                          0                          
0 1 1 1 |      1      1            0            0                  1                        1                                          0                          
1 0 0 0 |      1      1            1            1                  1                        0                                          0                          
1 0 0 1 |      0      0            0            0                  0                        1                                          0                          
1 0 1 0 |      1      1            1            1                  1                        1                                          1                          
1 0 1 1 |      1      1            1            1                  1                        1                                          1                          
1 1 0 0 |      1      1            1            1                  1                        0                                          0                          
1 1 0 1 |      0      0            0            0                  1                        0                                          0                          
1 1 1 0 |      1      1            1            1                  1                        1                                          1                          
1 1 1 1 |      1      1            1            1                  1                        1                                          1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #485
R S | S < R  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #486
Q S | Q < S  Q < S  (Q < S) & Q  ((Q < S) & Q) v (Q < S)  
0 0 |      1      1            0                        1                      
0 1 |      0      0            0                        0                      
1 0 |      0      0            0                        0                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #487
P R | R v P  ~(R v P)  R < (~(R v P))  
0 0 |      0         1               0                      
0 1 |      1         0               0                      
1 0 |      1         0               1                      
1 1 |      1         0               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #488
R S | S < R  (S < R) v R  ~((S < R) v R)  
0 0 |      1            1               0                      
0 1 |      0            0               1                      
1 0 |      0            1               0                      
1 1 |      1            1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #489
S |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #490
R S | S > R  S > R  (S > R) v (S > R)  ~((S > R) v (S > R))  
0 0 |      1      1                  1                     0                      
0 1 |      0      0                  0                     1                      
1 0 |      1      1                  1                     0                      
1 1 |      1      1                  1                     0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #491
P Q R | R < R  P & R  (P & R) v Q  (R < R) > ((P & R) v Q)  
0 0 0 |      1      0            0                        0                        
0 0 1 |      1      0            0                        0                        
0 1 0 |      1      0            1                        1                        
0 1 1 |      1      0            1                        1                        
1 0 0 |      1      0            0                        0                        
1 0 1 |      1      1            1                        1                        
1 1 0 |      1      0            1                        1                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #493
P R | P & P  (P & P) > R  
0 0 |      0            1                      
0 1 |      0            1                      
1 0 |      1            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #492
Q S | Q & S  S > S  (Q & S) & (S > S)  
0 0 |      0      1                  0                      
0 1 |      0      1                  0                      
1 0 |      0      1                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #494
P Q | P < Q  P < Q  (P < Q) > Q  (P < Q) v ((P < Q) > Q)  
0 0 |      1      1            0                        1                      
0 1 |      0      0            1                        1                      
1 0 |      0      0            1                        1                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #495
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #500
P Q R | R > Q  P < P  Q < (P < P)  (R > Q) v (Q < (P < P))  
0 0 0 |      1      1            0                        1                        
0 0 1 |      0      1            0                        0                        
0 1 0 |      1      1            1                        1                        
0 1 1 |      1      1            1                        1                        
1 0 0 |      1      1            0                        1                        
1 0 1 |      0      1            0                        0                        
1 1 0 |      1      1            1                        1                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #504
R S | S v R  S v R  R v (S v R)  (S v R) & R  R v ((S v R) & R)  (R v (S v R)) < (R v ((S v R) & R))  
0 0 |      0      0            0            0                  0                                    1                      
0 1 |      1      1            1            0                  0                                    0                      
1 0 |      1      1            1            1                  1                                    1                      
1 1 |      1      1            1            1                  1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #508
P Q | Q & Q  P & (Q & Q)  
0 0 |      0            0                      
0 1 |      1            0                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #510
P R | P > R  R > R  R > R  (R > R) < (R > R)  (P > R) v ((R > R) < (R > R))  
0 0 |      1      1      1                  1                              1                      
0 1 |      1      1      1                  1                              1                      
1 0 |      0      1      1                  1                              1                      
1 1 |      1      1      1                  1                              1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #513
P Q | P & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #517
Q R | R < Q  ~(R < Q)  ~(~(R < Q))  
0 0 |      1         0            1                      
0 1 |      0         1            0                      
1 0 |      0         1            0                      
1 1 |      1         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #521
P Q | Q > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #524
Q R S | Q > R  R v S  (Q > R) v (R v S)  
0 0 0 |      1      0                  1                        
0 0 1 |      1      1                  1                        
0 1 0 |      1      1                  1                        
0 1 1 |      1      1                  1                        
1 0 0 |      0      0                  0                        
1 0 1 |      0      1                  1                        
1 1 0 |      1      1                  1                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #527
P Q S | S & Q  (S & Q) v P  
0 0 0 |      0            0                        
0 0 1 |      0            0                        
0 1 0 |      0            0                        
0 1 1 |      1            1                        
1 0 0 |      0            1                        
1 0 1 |      0            1                        
1 1 0 |      0            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #530
P R | P v P  (P v P) & R  
0 0 |      0            0                      
0 1 |      0            0                      
1 0 |      1            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #535
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #539
R S | S < S  (S < S) > R  
0 0 |      1            0                      
0 1 |      1            0                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #543
Q R | ~R  ~Q  (~R) v (~Q)  
0 0 |   1   1            1                      
0 1 |   0   1            1                      
1 0 |   1   0            1                      
1 1 |   0   0            0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #547
P Q R S | ~R  P < S  Q < R  (Q < R) > (~R)  (P < S) > ((Q < R) > (~R))  ((P < S) > ((Q < R) > (~R))) < S  
0 0 0 0 |   1      1      1               1                           1                                 0                          
0 0 0 1 |   1      0      1               1                           1                                 1                          
0 0 1 0 |   0      1      0               1                           1                                 0                          
0 0 1 1 |   0      0      0               1                           1                                 1                          
0 1 0 0 |   1      1      0               1                           1                                 0                          
0 1 0 1 |   1      0      0               1                           1                                 1                          
0 1 1 0 |   0      1      1               0                           0                                 1                          
0 1 1 1 |   0      0      1               0                           1                                 1                          
1 0 0 0 |   1      0      1               1                           1                                 0                          
1 0 0 1 |   1      1      1               1                           1                                 1                          
1 0 1 0 |   0      0      0               1                           1                                 0                          
1 0 1 1 |   0      1      0               1                           1                                 1                          
1 1 0 0 |   1      0      0               1                           1                                 0                          
1 1 0 1 |   1      1      0               1                           1                                 1                          
1 1 1 0 |   0      0      1               0                           1                                 0                          
1 1 1 1 |   0      1      1               0                           0                                 0                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #551
Q R S | R & S  Q v S  S < (Q v S)  (R & S) & (S < (Q v S))  
0 0 0 |      0      0            1                        0                        
0 0 1 |      0      1            1                        0                        
0 1 0 |      0      0            1                        0                        
0 1 1 |      1      1            1                        1                        
1 0 0 |      0      1            0                        0                        
1 0 1 |      0      1            1                        0                        
1 1 0 |      0      1            0                        0                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #555
P Q R | R & Q  P & Q  (R & Q) > (P & Q)  ((R & Q) > (P & Q)) > Q  
0 0 0 |      0      0                  1                        0                        
0 0 1 |      0      0                  1                        0                        
0 1 0 |      0      0                  1                        1                        
0 1 1 |      1      0                  0                        1                        
1 0 0 |      0      0                  1                        0                        
1 0 1 |      0      0                  1                        0                        
1 1 0 |      0      1                  1                        1                        
1 1 1 |      1      1                  1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #558
Q S | S > Q  ~(S > Q)  (~(S > Q)) < Q  
0 0 |      1         0               1                      
0 1 |      0         1               0                      
1 0 |      1         0               0                      
1 1 |      1         0               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #562
P Q | ~Q  Q v P  (Q v P) < (~Q)  ((Q v P) < (~Q)) & Q  
0 0 |   1      0               0                     0                      
0 1 |   0      1               0                     0                      
1 0 |   1      1               1                     0                      
1 1 |   0      1               0                     0                      
Não, não é satisfatível.
Não, não é tautologia.

Problema #563
P Q | Q > P  Q < Q  Q > P  ~(Q > P)  (Q > P) < (Q < Q)  ((Q > P) < (Q < Q)) > (~(Q > P))  
0 0 |      1      1      1         0                  1                                 0                      
0 1 |      0      1      0         1                  0                                 1                      
1 0 |      1      1      1         0                  1                                 0                      
1 1 |      1      1      1         0                  1                                 0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #564
R |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #565
P R S | ~S  ~R  ~R  S < S  S < S  P v (S < S)  (~R) v (~R)  (~S) v (S < S)  (P v (S < S)) & ((~R) v (~R))  ((~S) v (S < S)) v ((P v (S < S)) & ((~R) v (~R)))  
0 0 0 |   1   1   1      1      1            1            1               1                              1                                                   1                        
0 0 1 |   0   1   1      1      1            1            1               1                              1                                                   1                        
0 1 0 |   1   0   0      1      1            1            0               1                              0                                                   1                        
0 1 1 |   0   0   0      1      1            1            0               1                              0                                                   1                        
1 0 0 |   1   1   1      1      1            1            1               1                              1                                                   1                        
1 0 1 |   0   1   1      1      1            1            1               1                              1                                                   1                        
1 1 0 |   1   0   0      1      1            1            0               1                              0                                                   1                        
1 1 1 |   0   0   0      1      1            1            0               1                              0                                                   1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #566
P Q R | ~R  ~Q  (~Q) > P  R & ((~Q) > P)  (~R) > (R & ((~Q) > P))  P < ((~R) > (R & ((~Q) > P)))  
0 0 0 |   1   1         0               0                        0                              1                        
0 0 1 |   0   1         0               0                        1                              0                        
0 1 0 |   1   0         1               0                        0                              1                        
0 1 1 |   0   0         1               1                        1                              0                        
1 0 0 |   1   1         1               0                        0                              0                        
1 0 1 |   0   1         1               1                        1                              1                        
1 1 0 |   1   0         1               0                        0                              0                        
1 1 1 |   0   0         1               1                        1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #567
P S | P v S  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #568
P S | ~S  ~S  P > (~S)  P < (~S)  (P > (~S)) < S  ((P > (~S)) < S) v (P < (~S))  
0 0 |   1   1         1         0               0                              0                      
0 1 |   0   0         1         1               1                              1                      
1 0 |   1   1         1         1               0                              1                      
1 1 |   0   0         0         0               0                              0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #569
P S | S > P  S > P  P v (S > P)  P v (S > P)  (P v (S > P)) v (P v (S > P))  ((P v (S > P)) v (P v (S > P))) v P  
0 0 |      1      1            1            1                              1                                    1                      
0 1 |      0      0            0            0                              0                                    0                      
1 0 |      1      1            1            1                              1                                    1                      
1 1 |      1      1            1            1                              1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #571
P | P < P  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #572
Q S | Q < S  Q < S  (Q < S) > (Q < S)  S & ((Q < S) > (Q < S))  
0 0 |      1      1                  1                        0                      
0 1 |      0      0                  1                        1                      
1 0 |      0      0                  1                        0                      
1 1 |      1      1                  1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #570
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #573
P R S | P v S  ~(P v S)  R < (~(P v S))  
0 0 0 |      0         1               0                        
0 0 1 |      1         0               1                        
0 1 0 |      0         1               1                        
0 1 1 |      1         0               0                        
1 0 0 |      1         0               1                        
1 0 1 |      1         0               1                        
1 1 0 |      1         0               0                        
1 1 1 |      1         0               0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #574
P R | ~P  ~R  (~P) & (~R)  ((~P) & (~R)) v P  
0 0 |   1   1            1                  1                      
0 1 |   1   0            0                  0                      
1 0 |   0   1            0                  1                      
1 1 |   0   0            0                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #575
P R S | ~R  ~S  ~P  (~S) & (~P)  (~R) > ((~S) & (~P))  
0 0 0 |   1   1   1            1                     1                        
0 0 1 |   1   0   1            0                     0                        
0 1 0 |   0   1   1            1                     1                        
0 1 1 |   0   0   1            0                     1                        
1 0 0 |   1   1   0            0                     0                        
1 0 1 |   1   0   0            0                     0                        
1 1 0 |   0   1   0            0                     1                        
1 1 1 |   0   0   0            0                     1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #576
R S | S < R  (S < R) v R  
0 0 |      1            1                      
0 1 |      0            0                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #577
Q R | ~R  Q < Q  Q < Q  Q < Q  (~R) & R  (Q < Q) < ((~R) & R)  (Q < Q) > ((Q < Q) < ((~R) & R))  (Q < Q) > ((Q < Q) > ((Q < Q) < ((~R) & R)))  
0 0 |   1      1      1      1         0                     0                                 0                                             0                      
0 1 |   0      1      1      1         0                     0                                 0                                             0                      
1 0 |   1      1      1      1         0                     0                                 0                                             0                      
1 1 |   0      1      1      1         0                     0                                 0                                             0                      
Não, não é satisfatível.
Não, não é tautologia.

Problema #578
Q R | ~Q  R < (~Q)  ~(R < (~Q))  ~(~(R < (~Q)))  
0 0 |   1         0            1               0                      
0 1 |   1         1            0               1                      
1 0 |   0         1            0               1                      
1 1 |   0         0            1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #579
P | P < P  ~(P < P)  
0 |      1         0                    
1 |      1         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #580
P Q R | P v Q  R & P  (P v Q) > (R & P)  ((P v Q) > (R & P)) > R  P < (((P v Q) > (R & P)) > R)  
0 0 0 |      0      0                  1                        0                              1                        
0 0 1 |      0      0                  1                        1                              0                        
0 1 0 |      1      0                  0                        1                              0                        
0 1 1 |      1      0                  0                        1                              0                        
1 0 0 |      1      0                  0                        1                              1                        
1 0 1 |      1      1                  1                        1                              1                        
1 1 0 |      1      0                  0                        1                              1                        
1 1 1 |      1      1                  1                        1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #581
P R S | S & S  P < R  R v (P < R)  (S & S) < (R v (P < R))  ~((S & S) < (R v (P < R)))  
0 0 0 |      0      1            1                        0                           1                        
0 0 1 |      1      1            1                        1                           0                        
0 1 0 |      0      0            1                        0                           1                        
0 1 1 |      1      0            1                        1                           0                        
1 0 0 |      0      0            0                        1                           0                        
1 0 1 |      1      0            0                        0                           1                        
1 1 0 |      0      1            1                        0                           1                        
1 1 1 |      1      1            1                        1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #582
P R S | ~S  R & R  R < P  (R < P) v (~S)  (R & R) > ((R < P) v (~S))  
0 0 0 |   1      0      1               1                           1                        
0 0 1 |   0      0      1               1                           1                        
0 1 0 |   1      1      0               1                           1                        
0 1 1 |   0      1      0               0                           0                        
1 0 0 |   1      0      0               1                           1                        
1 0 1 |   0      0      0               0                           1                        
1 1 0 |   1      1      1               1                           1                        
1 1 1 |   0      1      1               1                           1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #583
Q S | ~S  Q < Q  Q < Q  (Q < Q) > (~S)  ~((Q < Q) > (~S))  (Q < Q) > (~((Q < Q) > (~S)))  
0 0 |   1      1      1               1                  0                              0                      
0 1 |   0      1      1               0                  1                              1                      
1 0 |   1      1      1               1                  0                              0                      
1 1 |   0      1      1               0                  1                              1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #584
P Q R S | ~R  Q v S  P & (Q v S)  (P & (Q v S)) < P  (~R) & ((P & (Q v S)) < P)  ~((~R) & ((P & (Q v S)) < P))  (~((~R) & ((P & (Q v S)) < P))) v Q  
0 0 0 0 |   1      0            0                  1                           1                              0                                    0                          
0 0 0 1 |   1      1            0                  1                           1                              0                                    0                          
0 0 1 0 |   0      0            0                  1                           0                              1                                    1                          
0 0 1 1 |   0      1            0                  1                           0                              1                                    1                          
0 1 0 0 |   1      1            0                  1                           1                              0                                    1                          
0 1 0 1 |   1      1            0                  1                           1                              0                                    1                          
0 1 1 0 |   0      1            0                  1                           0                              1                                    1                          
0 1 1 1 |   0      1            0                  1                           0                              1                                    1                          
1 0 0 0 |   1      0            0                  0                           0                              1                                    1                          
1 0 0 1 |   1      1            1                  1                           1                              0                                    0                          
1 0 1 0 |   0      0            0                  0                           0                              1                                    1                          
1 0 1 1 |   0      1            1                  1                           0                              1                                    1                          
1 1 0 0 |   1      1            1                  1                           1                              0                                    1                          
1 1 0 1 |   1      1            1                  1                           1                              0                                    1                          
1 1 1 0 |   0      1            1                  1                           0                              1                                    1                          
1 1 1 1 |   0      1            1                  1                           0                              1                                    1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #585
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #586
P Q R S | R & R  S v P  (R & R) < (S v P)  P > ((R & R) < (S v P))  ~(P > ((R & R) < (S v P)))  (~(P > ((R & R) < (S v P)))) > Q  
0 0 0 0 |      0      0                  1                        1                           0                                 1                          
0 0 0 1 |      0      1                  0                        1                           0                                 1                          
0 0 1 0 |      1      0                  0                        1                           0                                 1                          
0 0 1 1 |      1      1                  1                        1                           0                                 1                          
0 1 0 0 |      0      0                  1                        1                           0                                 1                          
0 1 0 1 |      0      1                  0                        1                           0                                 1                          
0 1 1 0 |      1      0                  0                        1                           0                                 1                          
0 1 1 1 |      1      1                  1                        1                           0                                 1                          
1 0 0 0 |      0      1                  0                        0                           1                                 0                          
1 0 0 1 |      0      1                  0                        0                           1                                 0                          
1 0 1 0 |      1      1                  1                        1                           0                                 1                          
1 0 1 1 |      1      1                  1                        1                           0                                 1                          
1 1 0 0 |      0      1                  0                        0                           1                                 1                          
1 1 0 1 |      0      1                  0                        0                           1                                 1                          
1 1 1 0 |      1      1                  1                        1                           0                                 1                          
1 1 1 1 |      1      1                  1                        1                           0                                 1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #587
P Q R S | ~S  ~S  R v P  R v R  ~(R v P)  R < (~S)  (R v R) > Q  (~(R v P)) v (R < (~S))  ((~(R v P)) v (R < (~S))) v ((R v R) > Q)  (((~(R v P)) v (R < (~S))) v ((R v R) > Q)) < (~S)  
0 0 0 0 |   1   1      0      0         1         0            1                        1                                          1                                                   1                          
0 0 0 1 |   0   0      0      0         1         1            1                        1                                          1                                                   0                          
0 0 1 0 |   1   1      1      1         0         1            0                        1                                          1                                                   1                          
0 0 1 1 |   0   0      1      1         0         0            0                        0                                          0                                                   1                          
0 1 0 0 |   1   1      0      0         1         0            1                        1                                          1                                                   1                          
0 1 0 1 |   0   0      0      0         1         1            1                        1                                          1                                                   0                          
0 1 1 0 |   1   1      1      1         0         1            1                        1                                          1                                                   1                          
0 1 1 1 |   0   0      1      1         0         0            1                        0                                          1                                                   0                          
1 0 0 0 |   1   1      1      0         0         0            1                        0                                          1                                                   1                          
1 0 0 1 |   0   0      1      0         0         1            1                        1                                          1                                                   0                          
1 0 1 0 |   1   1      1      1         0         1            0                        1                                          1                                                   1                          
1 0 1 1 |   0   0      1      1         0         0            0                        0                                          0                                                   1                          
1 1 0 0 |   1   1      1      0         0         0            1                        0                                          1                                                   1                          
1 1 0 1 |   0   0      1      0         0         1            1                        1                                          1                                                   0                          
1 1 1 0 |   1   1      1      1         0         1            1                        1                                          1                                                   1                          
1 1 1 1 |   0   0      1      1         0         0            1                        0                                          1                                                   0                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #588
R S | R < S  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #589
P Q S | S v Q  S & P  S v Q  S v Q  (S v Q) < Q  (S & P) > (S v Q)  (S v Q) & ((S & P) > (S v Q))  ((S v Q) & ((S & P) > (S v Q))) > ((S v Q) < Q)  
0 0 0 |      0      0      0      0            1                  1                              0                                                1                        
0 0 1 |      1      0      1      1            0                  1                              1                                                0                        
0 1 0 |      1      0      1      1            1                  1                              1                                                1                        
0 1 1 |      1      0      1      1            1                  1                              1                                                1                        
1 0 0 |      0      0      0      0            1                  1                              0                                                1                        
1 0 1 |      1      1      1      1            0                  1                              1                                                0                        
1 1 0 |      1      0      1      1            1                  1                              1                                                1                        
1 1 1 |      1      1      1      1            1                  1                              1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #590
P R | ~R  ~R  (~R) v (~R)  P & ((~R) v (~R))  
0 0 |   1   1            1                  0                      
0 1 |   0   0            0                  0                      
1 0 |   1   1            1                  1                      
1 1 |   0   0            0                  0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #591
P Q S | P < Q  S > (P < Q)  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      0            1                        
0 1 1 |      0            0                        
1 0 0 |      0            1                        
1 0 1 |      0            0                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #593
R | R < R  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #594
P | P < P  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #592
Q R | ~Q  ~Q  (~Q) < (~Q)  R < ((~Q) < (~Q))  
0 0 |   1   1            1                  0                      
0 1 |   1   1            1                  1                      
1 0 |   0   0            1                  0                      
1 1 |   0   0            1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #595
P R S | S & R  S & R  S & R  (S & R) & S  (S & R) & P  (S & R) & S  ((S & R) & P) < ((S & R) & S)  ((S & R) & S) < (((S & R) & P) < ((S & R) & S))  
0 0 0 |      0      0      0            0            0            0                              1                                                0                        
0 0 1 |      0      0      0            0            0            0                              1                                                0                        
0 1 0 |      0      0      0            0            0            0                              1                                                0                        
0 1 1 |      1      1      1            1            0            1                              0                                                0                        
1 0 0 |      0      0      0            0            0            0                              1                                                0                        
1 0 1 |      0      0      0            0            0            0                              1                                                0                        
1 1 0 |      0      0      0            0            0            0                              1                                                0                        
1 1 1 |      1      1      1            1            1            1                              1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #596
P S | S > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #597
Q R S | Q & S  R < R  S < S  Q & S  (R < R) v S  S v (S < S)  ((R < R) v S) < (S v (S < S))  (((R < R) v S) < (S v (S < S))) v (Q & S)  (Q & S) & ((((R < R) v S) < (S v (S < S))) v (Q & S))  
0 0 0 |      0      1      1      0            1            1                              1                                          1                                                      0                        
0 0 1 |      0      1      1      0            1            1                              1                                          1                                                      0                        
0 1 0 |      0      1      1      0            1            1                              1                                          1                                                      0                        
0 1 1 |      0      1      1      0            1            1                              1                                          1                                                      0                        
1 0 0 |      0      1      1      0            1            1                              1                                          1                                                      0                        
1 0 1 |      1      1      1      1            1            1                              1                                          1                                                      1                        
1 1 0 |      0      1      1      0            1            1                              1                                          1                                                      0                        
1 1 1 |      1      1      1      1            1            1                              1                                          1                                                      1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #598
P Q S | S > P  S > S  ~(S > P)  (~(S > P)) & (S > S)  Q > ((~(S > P)) & (S > S))  
0 0 0 |      1      1         0                     0                           1                        
0 0 1 |      0      1         1                     1                           1                        
0 1 0 |      1      1         0                     0                           0                        
0 1 1 |      0      1         1                     1                           1                        
1 0 0 |      1      1         0                     0                           1                        
1 0 1 |      1      1         0                     0                           1                        
1 1 0 |      1      1         0                     0                           0                        
1 1 1 |      1      1         0                     0                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #599
P Q S | ~Q  S > P  S > P  ~(S > P)  (~Q) v (S > P)  ((~Q) v (S > P)) < (~(S > P))  
0 0 0 |   1      1      1         0               1                              0                        
0 0 1 |   1      0      0         1               1                              1                        
0 1 0 |   0      1      1         0               1                              0                        
0 1 1 |   0      0      0         1               0                              0                        
1 0 0 |   1      1      1         0               1                              0                        
1 0 1 |   1      1      1         0               1                              0                        
1 1 0 |   0      1      1         0               1                              0                        
1 1 1 |   0      1      1         0               1                              0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #601
P R | ~R  P < (~R)  
0 0 |   1         0                      
0 1 |   0         1                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #606
P S | ~S  P v (~S)  
0 0 |   1         1                      
0 1 |   0         0                      
1 0 |   1         1                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #610
P Q R S | ~S  R > Q  S > P  Q > (S > P)  (Q > (S > P)) > (~S)  ((Q > (S > P)) > (~S)) v P  (R > Q) v (((Q > (S > P)) > (~S)) v P)  
0 0 0 0 |   1      1      1            1                     1                           1                                       1                          
0 0 0 1 |   0      1      0            1                     0                           0                                       1                          
0 0 1 0 |   1      0      1            1                     1                           1                                       1                          
0 0 1 1 |   0      0      0            1                     0                           0                                       0                          
0 1 0 0 |   1      1      1            1                     1                           1                                       1                          
0 1 0 1 |   0      1      0            0                     1                           1                                       1                          
0 1 1 0 |   1      1      1            1                     1                           1                                       1                          
0 1 1 1 |   0      1      0            0                     1                           1                                       1                          
1 0 0 0 |   1      1      1            1                     1                           1                                       1                          
1 0 0 1 |   0      1      1            1                     0                           1                                       1                          
1 0 1 0 |   1      0      1            1                     1                           1                                       1                          
1 0 1 1 |   0      0      1            1                     0                           1                                       1                          
1 1 0 0 |   1      1      1            1                     1                           1                                       1                          
1 1 0 1 |   0      1      1            1                     0                           1                                       1                          
1 1 1 0 |   1      1      1            1                     1                           1                                       1                          
1 1 1 1 |   0      1      1            1                     0                           1                                       1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #614
P Q S | ~S  Q & P  (~S) & (Q & P)  
0 0 0 |   1      0               0                        
0 0 1 |   0      0               0                        
0 1 0 |   1      0               0                        
0 1 1 |   0      0               0                        
1 0 0 |   1      0               0                        
1 0 1 |   0      0               0                        
1 1 0 |   1      1               1                        
1 1 1 |   0      1               0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #618
P R S | S & P  R & (S & P)  
0 0 0 |      0            0                        
0 0 1 |      0            0                        
0 1 0 |      0            0                        
0 1 1 |      0            0                        
1 0 0 |      0            0                        
1 0 1 |      1            0                        
1 1 0 |      0            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #622
P Q S | Q v S  (Q v S) v P  
0 0 0 |      0            0                        
0 0 1 |      1            1                        
0 1 0 |      1            1                        
0 1 1 |      1            1                        
1 0 0 |      0            1                        
1 0 1 |      1            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #626
R S | R > R  ~(R > R)  S < (~(R > R))  (S < (~(R > R))) & S  ~((S < (~(R > R))) & S)  
0 0 |      1         0               1                     0                        1                      
0 1 |      1         0               0                     0                        1                      
1 0 |      1         0               1                     0                        1                      
1 1 |      1         0               0                     0                        1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #630
P Q S | ~P  ~S  (~P) & (~S)  Q < ((~P) & (~S))  
0 0 0 |   1   1            1                  0                        
0 0 1 |   1   0            0                  1                        
0 1 0 |   1   1            1                  1                        
0 1 1 |   1   0            0                  0                        
1 0 0 |   0   1            0                  1                        
1 0 1 |   0   0            0                  1                        
1 1 0 |   0   1            0                  0                        
1 1 1 |   0   0            0                  0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #634
P R | P & R  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #639
S | S > S  ~(S > S)  
0 |      1         0                    
1 |      1         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #643
P R S | R v S  ~(R v S)  P > (~(R v S))  
0 0 0 |      0         1               1                        
0 0 1 |      1         0               1                        
0 1 0 |      1         0               1                        
0 1 1 |      1         0               1                        
1 0 0 |      0         1               1                        
1 0 1 |      1         0               0                        
1 1 0 |      1         0               0                        
1 1 1 |      1         0               0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #647
P | ~P  P > P  P > P  P < (P > P)  (~P) > (P > P)  ((~P) > (P > P)) & (P < (P > P))  
0 |   1      1      1            0               1                                 0                    
1 |   0      1      1            1               1                                 1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #693
P Q R | P & Q  P & R  P & R  (P & R) & (P & R)  (P & Q) v ((P & R) & (P & R))  
0 0 0 |      0      0      0                  0                              0                        
0 0 1 |      0      0      0                  0                              0                        
0 1 0 |      0      0      0                  0                              0                        
0 1 1 |      0      0      0                  0                              0                        
1 0 0 |      0      0      0                  0                              0                        
1 0 1 |      0      1      1                  1                              1                        
1 1 0 |      1      0      0                  0                              1                        
1 1 1 |      1      1      1                  1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #715
P S | P v S  (P v S) & P  ~((P v S) & P)  ~(~((P v S) & P))  
0 0 |      0            0               1                  0                      
0 1 |      1            0               1                  0                      
1 0 |      1            1               0                  1                      
1 1 |      1            1               0                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #716
P R S | ~R  S v P  S v P  ~(S v P)  (S v P) & (~(S v P))  ((S v P) & (~(S v P))) < (~R)  
0 0 0 |   1      0      0         1                     0                              0                        
0 0 1 |   1      1      1         0                     0                              0                        
0 1 0 |   0      0      0         1                     0                              1                        
0 1 1 |   0      1      1         0                     0                              1                        
1 0 0 |   1      1      1         0                     0                              0                        
1 0 1 |   1      1      1         0                     0                              0                        
1 1 0 |   0      1      1         0                     0                              1                        
1 1 1 |   0      1      1         0                     0                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #717
P Q R S | R < P  R < Q  R < P  R < P  R < Q  R < P  S < (R < P)  S < (R < P)  S < (R < P)  S < (R < P)  (S < (R < P)) & S  (S < (R < P)) & S  (S < (R < P)) < (R < Q)  (S < (R < P)) < (R < Q)  P < ((S < (R < P)) < (R < Q))  P < ((S < (R < P)) < (R < Q))  (P < ((S < (R < P)) < (R < Q))) > ((S < (R < P)) & S)  (P < ((S < (R < P)) < (R < Q))) > ((S < (R < P)) & S)  ((P < ((S < (R < P)) < (R < Q))) > ((S < (R < P)) & S)) & ((P < ((S < (R < P)) < (R < Q))) > ((S < (R < P)) & S))  
0 0 0 0 |      1      1      1      1      1      1            0            0            0            0                  0                  0                        0                        0                              1                              1                                                      0                                                      0                                                                                                                  0                          
0 0 0 1 |      1      1      1      1      1      1            1            1            1            1                  1                  1                        1                        1                              0                              0                                                      1                                                      1                                                                                                                  1                          
0 0 1 0 |      0      0      0      0      0      0            1            1            1            1                  0                  0                        0                        0                              1                              1                                                      0                                                      0                                                                                                                  0                          
0 0 1 1 |      0      0      0      0      0      0            0            0            0            0                  0                  0                        1                        1                              0                              0                                                      1                                                      1                                                                                                                  1                          
0 1 0 0 |      1      0      1      1      0      1            0            0            0            0                  0                  0                        1                        1                              0                              0                                                      1                                                      1                                                                                                                  1                          
0 1 0 1 |      1      0      1      1      0      1            1            1            1            1                  1                  1                        0                        0                              1                              1                                                      1                                                      1                                                                                                                  1                          
0 1 1 0 |      0      1      0      0      1      0            1            1            1            1                  0                  0                        1                        1                              0                              0                                                      1                                                      1                                                                                                                  1                          
0 1 1 1 |      0      1      0      0      1      0            0            0            0            0                  0                  0                        0                        0                              1                              1                                                      0                                                      0                                                                                                                  0                          
1 0 0 0 |      0      1      0      0      1      0            1            1            1            1                  0                  0                        1                        1                              1                              1                                                      0                                                      0                                                                                                                  0                          
1 0 0 1 |      0      1      0      0      1      0            0            0            0            0                  0                  0                        0                        0                              0                              0                                                      1                                                      1                                                                                                                  1                          
1 0 1 0 |      1      0      1      1      0      1            0            0            0            0                  0                  0                        1                        1                              1                              1                                                      0                                                      0                                                                                                                  0                          
1 0 1 1 |      1      0      1      1      0      1            1            1            1            1                  1                  1                        0                        0                              0                              0                                                      1                                                      1                                                                                                                  1                          
1 1 0 0 |      0      0      0      0      0      0            1            1            1            1                  0                  0                        0                        0                              0                              0                                                      1                                                      1                                                                                                                  1                          
1 1 0 1 |      0      0      0      0      0      0            0            0            0            0                  0                  0                        1                        1                              1                              1                                                      0                                                      0                                                                                                                  0                          
1 1 1 0 |      1      1      1      1      1      1            0            0            0            0                  0                  0                        0                        0                              0                              0                                                      1                                                      1                                                                                                                  1                          
1 1 1 1 |      1      1      1      1      1      1            1            1            1            1                  1                  1                        1                        1                              1                              1                                                      1                                                      1                                                                                                                  1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #718
R S | R < S  R & R  (R < S) < (R & R)  
0 0 |      1      0                  0                      
0 1 |      0      0                  1                      
1 0 |      0      1                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #719
P Q S | Q < S  Q < S  ~(Q < S)  ~(Q < S)  (~(Q < S)) & (~(Q < S))  P & ((~(Q < S)) & (~(Q < S)))  
0 0 0 |      1      1         0         0                        0                              0                        
0 0 1 |      0      0         1         1                        1                              0                        
0 1 0 |      0      0         1         1                        1                              0                        
0 1 1 |      1      1         0         0                        0                              0                        
1 0 0 |      1      1         0         0                        0                              0                        
1 0 1 |      0      0         1         1                        1                              1                        
1 1 0 |      0      0         1         1                        1                              1                        
1 1 1 |      1      1         0         0                        0                              0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #720
Q R | R & Q  ~(R & Q)  
0 0 |      0         1                      
0 1 |      0         1                      
1 0 |      0         1                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #721
P Q | Q v P  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #722
Q R | R > Q  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #723
Q R | Q & R  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #724
P Q R S | P v R  P v R  Q < (P v R)  (Q < (P v R)) & Q  (P v R) < ((Q < (P v R)) & Q)  ((P v R) < ((Q < (P v R)) & Q)) > S  
0 0 0 0 |      0      0            1                  0                              1                                    0                          
0 0 0 1 |      0      0            1                  0                              1                                    1                          
0 0 1 0 |      1      1            0                  0                              0                                    1                          
0 0 1 1 |      1      1            0                  0                              0                                    1                          
0 1 0 0 |      0      0            0                  0                              1                                    0                          
0 1 0 1 |      0      0            0                  0                              1                                    1                          
0 1 1 0 |      1      1            1                  1                              1                                    0                          
0 1 1 1 |      1      1            1                  1                              1                                    1                          
1 0 0 0 |      1      1            0                  0                              0                                    1                          
1 0 0 1 |      1      1            0                  0                              0                                    1                          
1 0 1 0 |      1      1            0                  0                              0                                    1                          
1 0 1 1 |      1      1            0                  0                              0                                    1                          
1 1 0 0 |      1      1            1                  1                              1                                    0                          
1 1 0 1 |      1      1            1                  1                              1                                    1                          
1 1 1 0 |      1      1            1                  1                              1                                    0                          
1 1 1 1 |      1      1            1                  1                              1                                    1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #726
P S | P & S  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #725
Q R | R v Q  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #727
R S | S & R  S & R  S & S  S v (S & R)  (S v (S & R)) & (S & R)  ((S v (S & R)) & (S & R)) & (S & S)  
0 0 |      0      0      0            0                        0                                    0                      
0 1 |      0      0      1            1                        0                                    0                      
1 0 |      0      0      0            0                        0                                    0                      
1 1 |      1      1      1            1                        1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #728
P R S | R v S  S > R  (S > R) v P  (R v S) > ((S > R) v P)  ~((R v S) > ((S > R) v P))  
0 0 0 |      0      1            1                        1                           0                        
0 0 1 |      1      0            0                        0                           1                        
0 1 0 |      1      1            1                        1                           0                        
0 1 1 |      1      1            1                        1                           0                        
1 0 0 |      0      1            1                        1                           0                        
1 0 1 |      1      0            1                        1                           0                        
1 1 0 |      1      1            1                        1                           0                        
1 1 1 |      1      1            1                        1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #729
P S | ~P  ~P  (~P) > S  (~P) > S  ~((~P) > S)  (~((~P) > S)) > ((~P) > S)  
0 0 |   1   1         0         0            1                           0                      
0 1 |   1   1         1         1            0                           1                      
1 0 |   0   0         1         1            0                           1                      
1 1 |   0   0         1         1            0                           1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #730
P Q R | P v R  (P v R) < Q  
0 0 0 |      0            1                        
0 0 1 |      1            0                        
0 1 0 |      0            0                        
0 1 1 |      1            1                        
1 0 0 |      1            0                        
1 0 1 |      1            0                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #731
P Q R S | R & S  R & S  R & S  R & S  R & S  R & (R & S)  (R & S) v (R & S)  (R & (R & S)) < Q  (R & S) v (R & S)  ((R & S) v (R & S)) < P  P & (((R & S) v (R & S)) < P)  ((R & (R & S)) < Q) < ((R & S) v (R & S))  (P & (((R & S) v (R & S)) < P)) v (((R & (R & S)) < Q) < ((R & S) v (R & S)))  
0 0 0 0 |      0      0      0      0      0            0                  0                  1                  0                        1                              0                                          0                                                                              0                          
0 0 0 1 |      0      0      0      0      0            0                  0                  1                  0                        1                              0                                          0                                                                              0                          
0 0 1 0 |      0      0      0      0      0            0                  0                  1                  0                        1                              0                                          0                                                                              0                          
0 0 1 1 |      1      1      1      1      1            1                  1                  0                  1                        0                              0                                          0                                                                              0                          
0 1 0 0 |      0      0      0      0      0            0                  0                  0                  0                        1                              0                                          1                                                                              1                          
0 1 0 1 |      0      0      0      0      0            0                  0                  0                  0                        1                              0                                          1                                                                              1                          
0 1 1 0 |      0      0      0      0      0            0                  0                  0                  0                        1                              0                                          1                                                                              1                          
0 1 1 1 |      1      1      1      1      1            1                  1                  1                  1                        0                              0                                          1                                                                              1                          
1 0 0 0 |      0      0      0      0      0            0                  0                  1                  0                        0                              0                                          0                                                                              0                          
1 0 0 1 |      0      0      0      0      0            0                  0                  1                  0                        0                              0                                          0                                                                              0                          
1 0 1 0 |      0      0      0      0      0            0                  0                  1                  0                        0                              0                                          0                                                                              0                          
1 0 1 1 |      1      1      1      1      1            1                  1                  0                  1                        1                              1                                          0                                                                              1                          
1 1 0 0 |      0      0      0      0      0            0                  0                  0                  0                        0                              0                                          1                                                                              1                          
1 1 0 1 |      0      0      0      0      0            0                  0                  0                  0                        0                              0                                          1                                                                              1                          
1 1 1 0 |      0      0      0      0      0            0                  0                  0                  0                        0                              0                                          1                                                                              1                          
1 1 1 1 |      1      1      1      1      1            1                  1                  1                  1                        1                              1                                          1                                                                              1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #732
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #733
P Q R | R v Q  P > Q  (R v Q) & (P > Q)  
0 0 0 |      0      1                  0                        
0 0 1 |      1      1                  1                        
0 1 0 |      1      1                  1                        
0 1 1 |      1      1                  1                        
1 0 0 |      0      0                  0                        
1 0 1 |      1      0                  0                        
1 1 0 |      1      1                  1                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #734
P R | P & R  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #735
P R S | ~R  P & S  (P & S) & (~R)  ~((P & S) & (~R))  
0 0 0 |   1      0               0                  1                        
0 0 1 |   1      0               0                  1                        
0 1 0 |   0      0               0                  1                        
0 1 1 |   0      0               0                  1                        
1 0 0 |   1      0               0                  1                        
1 0 1 |   1      1               1                  0                        
1 1 0 |   0      0               0                  1                        
1 1 1 |   0      1               0                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #736
P Q S | P < S  ~(P < S)  P v (~(P < S))  Q < (P v (~(P < S)))  
0 0 0 |      1         0               0                     1                        
0 0 1 |      0         1               1                     0                        
0 1 0 |      1         0               0                     0                        
0 1 1 |      0         1               1                     1                        
1 0 0 |      0         1               1                     0                        
1 0 1 |      1         0               1                     0                        
1 1 0 |      0         1               1                     1                        
1 1 1 |      1         0               1                     1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #737
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #738
P S | ~S  ~(~S)  P v S  (~(~S)) < (P v S)  
0 0 |   1      0      0                  1                      
0 1 |   0      1      1                  1                      
1 0 |   1      0      1                  0                      
1 1 |   0      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #739
Q S | Q > Q  S > (Q > Q)  
0 0 |      1            1                      
0 1 |      1            1                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #740
P R S | ~P  R > R  S & P  (~P) v (S & P)  (R > R) v ((~P) v (S & P))  
0 0 0 |   1      1      0               1                           1                        
0 0 1 |   1      1      0               1                           1                        
0 1 0 |   1      1      0               1                           1                        
0 1 1 |   1      1      0               1                           1                        
1 0 0 |   0      1      0               0                           1                        
1 0 1 |   0      1      1               1                           1                        
1 1 0 |   0      1      0               0                           1                        
1 1 1 |   0      1      1               1                           1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #741
P Q R | P > R  P > R  Q & (P > R)  Q & (P > R)  (Q & (P > R)) v R  ((Q & (P > R)) v R) & (Q & (P > R))  
0 0 0 |      1      1            0            0                  0                                    0                        
0 0 1 |      1      1            0            0                  1                                    0                        
0 1 0 |      1      1            1            1                  1                                    1                        
0 1 1 |      1      1            1            1                  1                                    1                        
1 0 0 |      0      0            0            0                  0                                    0                        
1 0 1 |      1      1            0            0                  1                                    0                        
1 1 0 |      0      0            0            0                  0                                    0                        
1 1 1 |      1      1            1            1                  1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #742
R S | S & R  S & R  S & R  S v (S & R)  S v (S & R)  (S v (S & R)) > (S & R)  (S v (S & R)) < ((S v (S & R)) > (S & R))  ~((S v (S & R)) < ((S v (S & R)) > (S & R)))  
0 0 |      0      0      0            0            0                        1                                          0                                             1                      
0 1 |      0      0      0            1            1                        0                                          0                                             1                      
1 0 |      0      0      0            0            0                        1                                          0                                             1                      
1 1 |      1      1      1            1            1                        1                                          1                                             0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #744
S |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #743
Q R | ~R  Q & (~R)  
0 0 |   1         0                      
0 1 |   0         0                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #745
Q | ~Q  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #746
P S | P < S  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #747
P R S | R < S  S & P  S & (S & P)  (R < S) & (S & (S & P))  
0 0 0 |      1      0            0                        0                        
0 0 1 |      0      0            0                        0                        
0 1 0 |      0      0            0                        0                        
0 1 1 |      1      0            0                        0                        
1 0 0 |      1      0            0                        0                        
1 0 1 |      0      1            1                        0                        
1 1 0 |      0      0            0                        0                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #748
P Q R S | ~R  P & (~R)  (P & (~R)) > Q  ((P & (~R)) > Q) < S  P & (((P & (~R)) > Q) < S)  
0 0 0 0 |   1         0               1                     0                           0                          
0 0 0 1 |   1         0               1                     1                           0                          
0 0 1 0 |   0         0               1                     0                           0                          
0 0 1 1 |   0         0               1                     1                           0                          
0 1 0 0 |   1         0               1                     0                           0                          
0 1 0 1 |   1         0               1                     1                           0                          
0 1 1 0 |   0         0               1                     0                           0                          
0 1 1 1 |   0         0               1                     1                           0                          
1 0 0 0 |   1         1               0                     1                           1                          
1 0 0 1 |   1         1               0                     0                           0                          
1 0 1 0 |   0         0               1                     0                           0                          
1 0 1 1 |   0         0               1                     1                           1                          
1 1 0 0 |   1         1               1                     0                           0                          
1 1 0 1 |   1         1               1                     1                           1                          
1 1 1 0 |   0         0               1                     0                           0                          
1 1 1 1 |   0         0               1                     1                           1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #749
Q S | S v Q  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #750
P Q | Q v P  Q v P  Q v P  Q v P  (Q v P) < (Q v P)  (Q v P) < (Q v P)  P > ((Q v P) < (Q v P))  P > ((Q v P) < (Q v P))  (P > ((Q v P) < (Q v P))) v (P > ((Q v P) < (Q v P)))  
0 0 |      0      0      0      0                  1                  1                        1                        1                                                      1                      
0 1 |      1      1      1      1                  1                  1                        1                        1                                                      1                      
1 0 |      1      1      1      1                  1                  1                        1                        1                                                      1                      
1 1 |      1      1      1      1                  1                  1                        1                        1                                                      1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #751
P R S | S v P  S v P  R & (S v P)  (R & (S v P)) > (S v P)  ((R & (S v P)) > (S v P)) & R  (((R & (S v P)) > (S v P)) & R) > S  
0 0 0 |      0      0            0                        1                              0                                    1                        
0 0 1 |      1      1            0                        1                              0                                    1                        
0 1 0 |      0      0            0                        1                              1                                    0                        
0 1 1 |      1      1            1                        1                              1                                    1                        
1 0 0 |      1      1            0                        1                              0                                    1                        
1 0 1 |      1      1            0                        1                              0                                    1                        
1 1 0 |      1      1            1                        1                              1                                    0                        
1 1 1 |      1      1            1                        1                              1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #752
Q R S | Q < S  R & S  (Q < S) < (R & S)  
0 0 0 |      1      0                  0                        
0 0 1 |      0      0                  1                        
0 1 0 |      1      0                  0                        
0 1 1 |      0      1                  0                        
1 0 0 |      0      0                  1                        
1 0 1 |      1      0                  0                        
1 1 0 |      0      0                  1                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #753
S | S > S  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #754
Q S | S v Q  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #756
Q S | S v Q  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #758
P Q S | Q < P  (Q < P) > S  
0 0 0 |      1            0                        
0 0 1 |      1            1                        
0 1 0 |      0            1                        
0 1 1 |      0            1                        
1 0 0 |      0            1                        
1 0 1 |      0            1                        
1 1 0 |      1            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #759
P R | R > P  P & (R > P)  
0 0 |      1            0                      
0 1 |      0            0                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #760
P S | P v S  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #761
P S | P > S  P > (P > S)  
0 0 |      1            1                      
0 1 |      1            1                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #762
S | S > S  ~(S > S)  
0 |      1         0                    
1 |      1         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #763
P Q R S | P & R  Q > P  S v (Q > P)  (S v (Q > P)) < S  (P & R) v ((S v (Q > P)) < S)  
0 0 0 0 |      0      1            1                  0                              0                          
0 0 0 1 |      0      1            1                  1                              1                          
0 0 1 0 |      0      1            1                  0                              0                          
0 0 1 1 |      0      1            1                  1                              1                          
0 1 0 0 |      0      0            0                  1                              1                          
0 1 0 1 |      0      0            1                  1                              1                          
0 1 1 0 |      0      0            0                  1                              1                          
0 1 1 1 |      0      0            1                  1                              1                          
1 0 0 0 |      0      1            1                  0                              0                          
1 0 0 1 |      0      1            1                  1                              1                          
1 0 1 0 |      1      1            1                  0                              1                          
1 0 1 1 |      1      1            1                  1                              1                          
1 1 0 0 |      0      1            1                  0                              0                          
1 1 0 1 |      0      1            1                  1                              1                          
1 1 1 0 |      1      1            1                  0                              1                          
1 1 1 1 |      1      1            1                  1                              1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #764
Q R S | Q < S  ~(Q < S)  ~(~(Q < S))  R & (~(~(Q < S)))  
0 0 0 |      1         0            1                  0                        
0 0 1 |      0         1            0                  0                        
0 1 0 |      1         0            1                  1                        
0 1 1 |      0         1            0                  0                        
1 0 0 |      0         1            0                  0                        
1 0 1 |      1         0            1                  0                        
1 1 0 |      0         1            0                  0                        
1 1 1 |      1         0            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #765
R S | S v R  R < S  S v R  ~(R < S)  (S v R) & (~(R < S))  ((S v R) & (~(R < S))) > (S v R)  
0 0 |      0      1      0         0                     0                                 1                      
0 1 |      1      0      1         1                     1                                 1                      
1 0 |      1      0      1         1                     1                                 1                      
1 1 |      1      1      1         0                     0                                 1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #766
Q S | S & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #767
Q S | S & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #768
P Q | P > P  P > P  ~(P > P)  (P > P) > Q  ~((P > P) > Q)  (~((P > P) > Q)) v (~(P > P))  Q v ((~((P > P) > Q)) v (~(P > P)))  
0 0 |      1      1         0            0               1                              1                                    1                      
0 1 |      1      1         0            1               0                              0                                    1                      
1 0 |      1      1         0            0               1                              1                                    1                      
1 1 |      1      1         0            1               0                              0                                    1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #769
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #770
P S | P > S  
0 0 |      1                      
0 1 |      1                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #771
R S | ~S  R < (~S)  
0 0 |   1         0                      
0 1 |   0         1                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #772
P Q | ~P  Q < (~P)  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #773
P S | S & P  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #774
P R S | P > R  S > (P > R)  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      1            1                        
0 1 1 |      1            1                        
1 0 0 |      0            1                        
1 0 1 |      0            0                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #775
P Q | Q v P  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #755
Q R S | Q < R  S v (Q < R)  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      0            0                        
0 1 1 |      0            1                        
1 0 0 |      0            0                        
1 0 1 |      0            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #776
P S | ~P  (~P) & S  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         0                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #778
S | ~S  ~S  ~S  S < (~S)  (~S) < S  ((~S) < S) < S  (S < (~S)) < (((~S) < S) < S)  ((S < (~S)) < (((~S) < S) < S)) v (~S)  
0 |   1   1   1         0         0               1                              0                                       1                    
1 |   0   0   0         0         0               0                              1                                       1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #779
P Q R | P < Q  P < Q  R v (P < Q)  (P < Q) > P  ~(R v (P < Q))  Q v ((P < Q) > P)  (~(R v (P < Q))) < (Q v ((P < Q) > P))  
0 0 0 |      1      1            1            0               0                  0                                       1                        
0 0 1 |      1      1            1            0               0                  0                                       1                        
0 1 0 |      0      0            0            1               1                  1                                       1                        
0 1 1 |      0      0            1            1               0                  1                                       0                        
1 0 0 |      0      0            0            1               1                  1                                       1                        
1 0 1 |      0      0            1            1               0                  1                                       0                        
1 1 0 |      1      1            1            1               0                  1                                       0                        
1 1 1 |      1      1            1            1               0                  1                                       0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #780
P Q R S | ~Q  ~P  S > S  R v (~P)  (~Q) > (S > S)  ((~Q) > (S > S)) v (R v (~P))  
0 0 0 0 |   1   1      1         1               1                              1                          
0 0 0 1 |   1   1      1         1               1                              1                          
0 0 1 0 |   1   1      1         1               1                              1                          
0 0 1 1 |   1   1      1         1               1                              1                          
0 1 0 0 |   0   1      1         1               1                              1                          
0 1 0 1 |   0   1      1         1               1                              1                          
0 1 1 0 |   0   1      1         1               1                              1                          
0 1 1 1 |   0   1      1         1               1                              1                          
1 0 0 0 |   1   0      1         0               1                              1                          
1 0 0 1 |   1   0      1         0               1                              1                          
1 0 1 0 |   1   0      1         1               1                              1                          
1 0 1 1 |   1   0      1         1               1                              1                          
1 1 0 0 |   0   0      1         0               1                              1                          
1 1 0 1 |   0   0      1         0               1                              1                          
1 1 1 0 |   0   0      1         1               1                              1                          
1 1 1 1 |   0   0      1         1               1                              1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #781
P | ~P  ~(~P)  P v (~(~P))  
0 |   1      0            0                    
1 |   0      1            1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #782
P Q R | ~R  (~R) > Q  P > ((~R) > Q)  
0 0 0 |   1         0               1                        
0 0 1 |   0         1               1                        
0 1 0 |   1         1               1                        
0 1 1 |   0         1               1                        
1 0 0 |   1         0               0                        
1 0 1 |   0         1               1                        
1 1 0 |   1         1               1                        
1 1 1 |   0         1               1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #783
P Q S | ~P  (~P) > Q  S & ((~P) > Q)  
0 0 0 |   1         0               0                        
0 0 1 |   1         0               0                        
0 1 0 |   1         1               0                        
0 1 1 |   1         1               1                        
1 0 0 |   0         1               0                        
1 0 1 |   0         1               1                        
1 1 0 |   0         1               0                        
1 1 1 |   0         1               1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #784
Q R S | ~Q  (~Q) & R  ~((~Q) & R)  S > (~((~Q) & R))  
0 0 0 |   1         0            1                  1                        
0 0 1 |   1         0            1                  1                        
0 1 0 |   1         1            0                  1                        
0 1 1 |   1         1            0                  0                        
1 0 0 |   0         0            1                  1                        
1 0 1 |   0         0            1                  1                        
1 1 0 |   0         0            1                  1                        
1 1 1 |   0         0            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #785
P R | R > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #786
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #787
Q | ~Q  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #777
R | R > R  ~(R > R)  
0 |      1         0                    
1 |      1         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #788
P R | R & P  R & P  (R & P) < (R & P)  
0 0 |      0      0                  1                      
0 1 |      0      0                  1                      
1 0 |      0      0                  1                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #790
R S | R & S  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #791
P Q R | ~Q  ~Q  R v P  P v R  (R v P) < (P v R)  (~Q) v ((R v P) < (P v R))  ((~Q) v ((R v P) < (P v R))) > (~Q)  
0 0 0 |   1   1      0      0                  1                           1                                    1                        
0 0 1 |   1   1      1      1                  1                           1                                    1                        
0 1 0 |   0   0      0      0                  1                           1                                    0                        
0 1 1 |   0   0      1      1                  1                           1                                    0                        
1 0 0 |   1   1      1      1                  1                           1                                    1                        
1 0 1 |   1   1      1      1                  1                           1                                    1                        
1 1 0 |   0   0      1      1                  1                           1                                    0                        
1 1 1 |   0   0      1      1                  1                           1                                    0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #792
Q S | Q v S  Q v S  S < S  (Q v S) > (Q v S)  ((Q v S) > (Q v S)) < (S < S)  (((Q v S) > (Q v S)) < (S < S)) > S  
0 0 |      0      0      1                  1                              1                                    0                      
0 1 |      1      1      1                  1                              1                                    1                      
1 0 |      1      1      1                  1                              1                                    0                      
1 1 |      1      1      1                  1                              1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #793
P R S | ~R  S v S  (S v S) & (~R)  ~((S v S) & (~R))  P & (~((S v S) & (~R)))  
0 0 0 |   1      0               0                  1                        0                        
0 0 1 |   1      1               1                  0                        0                        
0 1 0 |   0      0               0                  1                        0                        
0 1 1 |   0      1               0                  1                        0                        
1 0 0 |   1      0               0                  1                        1                        
1 0 1 |   1      1               1                  0                        0                        
1 1 0 |   0      0               0                  1                        1                        
1 1 1 |   0      1               0                  1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #794
Q R S | S v R  R v (S v R)  Q v (R v (S v R))  
0 0 0 |      0            0                  0                        
0 0 1 |      1            1                  1                        
0 1 0 |      1            1                  1                        
0 1 1 |      1            1                  1                        
1 0 0 |      0            0                  1                        
1 0 1 |      1            1                  1                        
1 1 0 |      1            1                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #795
Q R | ~R  Q > R  (~R) > (Q > R)  
0 0 |   1      1               1                      
0 1 |   0      1               1                      
1 0 |   1      0               0                      
1 1 |   0      1               1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #796
R S | R & R  (R & R) > S  ~((R & R) > S)  
0 0 |      0            1               0                      
0 1 |      0            1               0                      
1 0 |      1            0               1                      
1 1 |      1            1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #797
S | S v S  S v S  S < (S v S)  (S v S) & (S < (S v S))  
0 |      0      0            1                        0                    
1 |      1      1            1                        1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #798
R S | ~S  ~S  R < S  R v (~S)  (~S) v (R < S)  ((~S) v (R < S)) & (R v (~S))  
0 0 |   1   1      1         1               1                              1                      
0 1 |   0   0      0         0               0                              0                      
1 0 |   1   1      0         1               1                              1                      
1 1 |   0   0      1         1               1                              1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #799
P | ~P  P v P  ~(~P)  (P v P) < P  P v (~(~P))  ((P v P) < P) v (P v (~(~P)))  
0 |   1      0      0            1            0                              1                    
1 |   0      1      1            1            1                              1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #800
P Q S | P < S  (P < S) < S  Q < ((P < S) < S)  
0 0 0 |      1            0                  1                        
0 0 1 |      0            0                  1                        
0 1 0 |      1            0                  0                        
0 1 1 |      0            0                  0                        
1 0 0 |      0            1                  0                        
1 0 1 |      1            1                  0                        
1 1 0 |      0            1                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #801
P S | ~S  P > S  P > S  (P > S) & P  (P > S) > (~S)  ((P > S) & P) > ((P > S) > (~S))  
0 0 |   1      1      1            0               1                                 1                      
0 1 |   0      1      1            0               0                                 1                      
1 0 |   1      0      0            0               1                                 1                      
1 1 |   0      1      1            1               0                                 0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #802
R S | R > S  ~(R > S)  
0 0 |      1         0                      
0 1 |      1         0                      
1 0 |      0         1                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #803
R | R v R  
0 |      0                    
1 |      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #804
Q R S | Q > S  S < S  R v (Q > S)  Q v (S < S)  S v (R v (Q > S))  (S v (R v (Q > S))) v (Q v (S < S))  ((S v (R v (Q > S))) v (Q v (S < S))) > R  
0 0 0 |      1      1            1            1                  1                                    1                                          0                        
0 0 1 |      1      1            1            1                  1                                    1                                          0                        
0 1 0 |      1      1            1            1                  1                                    1                                          1                        
0 1 1 |      1      1            1            1                  1                                    1                                          1                        
1 0 0 |      0      1            0            1                  0                                    1                                          0                        
1 0 1 |      1      1            1            1                  1                                    1                                          0                        
1 1 0 |      0      1            1            1                  1                                    1                                          1                        
1 1 1 |      1      1            1            1                  1                                    1                                          1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #805
P Q R S | Q v Q  S > P  Q v Q  P & (Q v Q)  (Q v Q) > (S > P)  ((Q v Q) > (S > P)) > R  (((Q v Q) > (S > P)) > R) < (P & (Q v Q))  
0 0 0 0 |      0      1      0            0                  1                        0                                          1                          
0 0 0 1 |      0      0      0            0                  1                        0                                          1                          
0 0 1 0 |      0      1      0            0                  1                        1                                          0                          
0 0 1 1 |      0      0      0            0                  1                        1                                          0                          
0 1 0 0 |      1      1      1            0                  1                        0                                          1                          
0 1 0 1 |      1      0      1            0                  0                        1                                          0                          
0 1 1 0 |      1      1      1            0                  1                        1                                          0                          
0 1 1 1 |      1      0      1            0                  0                        1                                          0                          
1 0 0 0 |      0      1      0            0                  1                        0                                          1                          
1 0 0 1 |      0      1      0            0                  1                        0                                          1                          
1 0 1 0 |      0      1      0            0                  1                        1                                          0                          
1 0 1 1 |      0      1      0            0                  1                        1                                          0                          
1 1 0 0 |      1      1      1            1                  1                        0                                          0                          
1 1 0 1 |      1      1      1            1                  1                        0                                          0                          
1 1 1 0 |      1      1      1            1                  1                        1                                          1                          
1 1 1 1 |      1      1      1            1                  1                        1                                          1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #806
Q R S | ~R  R > S  S > (R > S)  (~R) < (S > (R > S))  ((~R) < (S > (R > S))) & R  Q & (((~R) < (S > (R > S))) & R)  
0 0 0 |   1      1            1                     1                           0                                 0                        
0 0 1 |   1      1            1                     1                           0                                 0                        
0 1 0 |   0      0            1                     0                           0                                 0                        
0 1 1 |   0      1            1                     0                           0                                 0                        
1 0 0 |   1      1            1                     1                           0                                 0                        
1 0 1 |   1      1            1                     1                           0                                 0                        
1 1 0 |   0      0            1                     0                           0                                 0                        
1 1 1 |   0      1            1                     0                           0                                 0                        
Não, não é satisfatível.
Não, não é tautologia.

Problema #807
Q R S | ~R  S < Q  ~(~R)  S < Q  S > (S < Q)  (~(~R)) & (S < Q)  (S > (S < Q)) < ((~(~R)) & (S < Q))  
0 0 0 |   1      1      0      1            1                  0                                    0                        
0 0 1 |   1      0      0      0            0                  0                                    1                        
0 1 0 |   0      1      1      1            1                  1                                    1                        
0 1 1 |   0      0      1      0            0                  0                                    1                        
1 0 0 |   1      0      0      0            1                  0                                    0                        
1 0 1 |   1      1      0      1            1                  0                                    0                        
1 1 0 |   0      0      1      0            1                  0                                    0                        
1 1 1 |   0      1      1      1            1                  1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #808
P R | R > P  R > P  (R > P) > (R > P)  
0 0 |      1      1                  1                      
0 1 |      0      0                  1                      
1 0 |      1      1                  1                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #809
Q R S | S & R  S & R  Q < (S & R)  R > (Q < (S & R))  (R > (Q < (S & R))) < S  ((R > (Q < (S & R))) < S) > (S & R)  
0 0 0 |      0      0            1                  1                        0                                    1                        
0 0 1 |      0      0            1                  1                        1                                    0                        
0 1 0 |      0      0            1                  1                        0                                    1                        
0 1 1 |      1      1            0                  0                        0                                    1                        
1 0 0 |      0      0            0                  1                        0                                    1                        
1 0 1 |      0      0            0                  1                        1                                    0                        
1 1 0 |      0      0            0                  0                        1                                    0                        
1 1 1 |      1      1            1                  1                        1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #810
P Q | Q > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #811
Q S | Q & S  (Q & S) > Q  
0 0 |      0            1                      
0 1 |      0            1                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #812
P Q R S | R & P  R & P  R & P  S > Q  S > Q  R < (R & P)  (S > Q) > S  S > ((S > Q) > S)  (R & P) < (S > ((S > Q) > S))  ((R & P) < (S > ((S > Q) > S))) > (S > Q)  (R & P) < (((R & P) < (S > ((S > Q) > S))) > (S > Q))  (R < (R & P)) > ((R & P) < (((R & P) < (S > ((S > Q) > S))) > (S > Q)))  
0 0 0 0 |      0      0      0      1      1            1            0                  1                              0                                          1                                                      0                                                                        0                          
0 0 0 1 |      0      0      0      0      0            1            1                  1                              0                                          1                                                      0                                                                        0                          
0 0 1 0 |      0      0      0      1      1            0            0                  1                              0                                          1                                                      0                                                                        1                          
0 0 1 1 |      0      0      0      0      0            0            1                  1                              0                                          1                                                      0                                                                        1                          
0 1 0 0 |      0      0      0      1      1            1            0                  1                              0                                          1                                                      0                                                                        0                          
0 1 0 1 |      0      0      0      1      1            1            1                  1                              0                                          1                                                      0                                                                        0                          
0 1 1 0 |      0      0      0      1      1            0            0                  1                              0                                          1                                                      0                                                                        1                          
0 1 1 1 |      0      0      0      1      1            0            1                  1                              0                                          1                                                      0                                                                        1                          
1 0 0 0 |      0      0      0      1      1            1            0                  1                              0                                          1                                                      0                                                                        0                          
1 0 0 1 |      0      0      0      0      0            1            1                  1                              0                                          1                                                      0                                                                        0                          
1 0 1 0 |      1      1      1      1      1            1            0                  1                              1                                          1                                                      1                                                                        1                          
1 0 1 1 |      1      1      1      0      0            1            1                  1                              1                                          0                                                      0                                                                        0                          
1 1 0 0 |      0      0      0      1      1            1            0                  1                              0                                          1                                                      0                                                                        0                          
1 1 0 1 |      0      0      0      1      1            1            1                  1                              0                                          1                                                      0                                                                        0                          
1 1 1 0 |      1      1      1      1      1            1            0                  1                              1                                          1                                                      1                                                                        1                          
1 1 1 1 |      1      1      1      1      1            1            1                  1                              1                                          1                                                      1                                                                        1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #813
P Q R S | R < S  R > Q  (R > Q) & P  (R < S) v ((R > Q) & P)  ~((R < S) v ((R > Q) & P))  
0 0 0 0 |      1      1            0                        1                           0                          
0 0 0 1 |      0      1            0                        0                           1                          
0 0 1 0 |      0      0            0                        0                           1                          
0 0 1 1 |      1      0            0                        1                           0                          
0 1 0 0 |      1      1            0                        1                           0                          
0 1 0 1 |      0      1            0                        0                           1                          
0 1 1 0 |      0      1            0                        0                           1                          
0 1 1 1 |      1      1            0                        1                           0                          
1 0 0 0 |      1      1            1                        1                           0                          
1 0 0 1 |      0      1            1                        1                           0                          
1 0 1 0 |      0      0            0                        0                           1                          
1 0 1 1 |      1      0            0                        1                           0                          
1 1 0 0 |      1      1            1                        1                           0                          
1 1 0 1 |      0      1            1                        1                           0                          
1 1 1 0 |      0      1            1                        1                           0                          
1 1 1 1 |      1      1            1                        1                           0                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #814
P Q R S | Q < Q  P > S  (Q < Q) & R  R < ((Q < Q) & R)  (R < ((Q < Q) & R)) v (P > S)  
0 0 0 0 |      1      1            0                  1                              1                          
0 0 0 1 |      1      1            0                  1                              1                          
0 0 1 0 |      1      1            1                  1                              1                          
0 0 1 1 |      1      1            1                  1                              1                          
0 1 0 0 |      1      1            0                  1                              1                          
0 1 0 1 |      1      1            0                  1                              1                          
0 1 1 0 |      1      1            1                  1                              1                          
0 1 1 1 |      1      1            1                  1                              1                          
1 0 0 0 |      1      0            0                  1                              1                          
1 0 0 1 |      1      1            0                  1                              1                          
1 0 1 0 |      1      0            1                  1                              1                          
1 0 1 1 |      1      1            1                  1                              1                          
1 1 0 0 |      1      0            0                  1                              1                          
1 1 0 1 |      1      1            0                  1                              1                          
1 1 1 0 |      1      0            1                  1                              1                          
1 1 1 1 |      1      1            1                  1                              1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #815
P Q S | ~Q  ~(~Q)  S v Q  (~(~Q)) < P  S v (S v Q)  P < (S v (S v Q))  ((~(~Q)) < P) v (P < (S v (S v Q)))  
0 0 0 |   1      0      0            1            0                  1                                    1                        
0 0 1 |   1      0      1            1            1                  0                                    1                        
0 1 0 |   0      1      1            0            1                  0                                    0                        
0 1 1 |   0      1      1            0            1                  0                                    0                        
1 0 0 |   1      0      0            0            0                  0                                    0                        
1 0 1 |   1      0      1            0            1                  1                                    1                        
1 1 0 |   0      1      1            1            1                  1                                    1                        
1 1 1 |   0      1      1            1            1                  1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #816
P R S | R & S  (R & S) > P  ((R & S) > P) > P  (((R & S) > P) > P) v S  
0 0 0 |      0            1                  0                        0                        
0 0 1 |      0            1                  0                        1                        
0 1 0 |      0            1                  0                        0                        
0 1 1 |      1            0                  1                        1                        
1 0 0 |      0            1                  1                        1                        
1 0 1 |      0            1                  1                        1                        
1 1 0 |      0            1                  1                        1                        
1 1 1 |      1            1                  1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #817
R S | S > R  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #818
P R S | P < P  R & S  (P < P) v (R & S)  
0 0 0 |      1      0                  1                        
0 0 1 |      1      0                  1                        
0 1 0 |      1      0                  1                        
0 1 1 |      1      1                  1                        
1 0 0 |      1      0                  1                        
1 0 1 |      1      0                  1                        
1 1 0 |      1      0                  1                        
1 1 1 |      1      1                  1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #819
Q |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #820
Q R | R v Q  ~(R v Q)  
0 0 |      0         1                      
0 1 |      1         0                      
1 0 |      1         0                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #821
P R S | S < R  (S < R) > P  
0 0 0 |      1            0                        
0 0 1 |      0            1                        
0 1 0 |      0            1                        
0 1 1 |      1            0                        
1 0 0 |      1            1                        
1 0 1 |      0            1                        
1 1 0 |      0            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #822
R S | R > S  
0 0 |      1                      
0 1 |      1                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #823
R S | ~S  ~R  (~S) & (~R)  
0 0 |   1   1            1                      
0 1 |   0   1            0                      
1 0 |   1   0            0                      
1 1 |   0   0            0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #824
P Q R | P > P  Q < R  Q < R  P > P  Q < R  (P > P) > Q  P & (Q < R)  (P > P) > Q  P & (Q < R)  ~(P & (Q < R))  ~(P & (Q < R))  P & ((P > P) > Q)  P & ((P > P) > Q)  (P & ((P > P) > Q)) & (Q < R)  (P & ((P > P) > Q)) v (~(P & (Q < R)))  ((P & ((P > P) > Q)) & (Q < R)) < (~(P & (Q < R)))  (((P & ((P > P) > Q)) & (Q < R)) < (~(P & (Q < R)))) > ((P & ((P > P) > Q)) v (~(P & (Q < R))))  
0 0 0 |      1      1      1      1      1            0            0            0            0               1               1                  0                  0                              0                                       1                                                   0                                                                                                1                        
0 0 1 |      1      0      0      1      0            0            0            0            0               1               1                  0                  0                              0                                       1                                                   0                                                                                                1                        
0 1 0 |      1      0      0      1      0            1            0            1            0               1               1                  0                  0                              0                                       1                                                   0                                                                                                1                        
0 1 1 |      1      1      1      1      1            1            0            1            0               1               1                  0                  0                              0                                       1                                                   0                                                                                                1                        
1 0 0 |      1      1      1      1      1            0            1            0            1               0               0                  0                  0                              0                                       0                                                   1                                                                                                0                        
1 0 1 |      1      0      0      1      0            0            0            0            0               1               1                  0                  0                              0                                       1                                                   0                                                                                                1                        
1 1 0 |      1      0      0      1      0            1            0            1            0               1               1                  1                  1                              0                                       1                                                   0                                                                                                1                        
1 1 1 |      1      1      1      1      1            1            1            1            1               0               0                  1                  1                              1                                       1                                                   0                                                                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #757
Q |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #825
P Q R | ~Q  ~Q  (~Q) & P  R > (~Q)  ((~Q) & P) > (R > (~Q))  
0 0 0 |   1   1         0         1                        1                        
0 0 1 |   1   1         0         1                        1                        
0 1 0 |   0   0         0         1                        1                        
0 1 1 |   0   0         0         0                        1                        
1 0 0 |   1   1         1         1                        1                        
1 0 1 |   1   1         1         1                        1                        
1 1 0 |   0   0         0         1                        1                        
1 1 1 |   0   0         0         0                        1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #826
Q R S | S & S  Q & S  S & S  Q & S  ~(Q & S)  (S & S) < (Q & S)  (S & S) > (~(Q & S))  ((S & S) < (Q & S)) & R  ((S & S) > (~(Q & S))) < (((S & S) < (Q & S)) & R)  
0 0 0 |      0      0      0      0         1                  1                     1                        0                                                   0                        
0 0 1 |      1      0      1      0         1                  0                     1                        0                                                   0                        
0 1 0 |      0      0      0      0         1                  1                     1                        1                                                   1                        
0 1 1 |      1      0      1      0         1                  0                     1                        0                                                   0                        
1 0 0 |      0      0      0      0         1                  1                     1                        0                                                   0                        
1 0 1 |      1      1      1      1         0                  1                     0                        0                                                   1                        
1 1 0 |      0      0      0      0         1                  1                     1                        1                                                   1                        
1 1 1 |      1      1      1      1         0                  1                     0                        1                                                   0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #789
P Q | P > Q  (P > Q) & Q  
0 0 |      1            0                      
0 1 |      1            1                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #829
R S | R & S  R & S  (R & S) & (R & S)  
0 0 |      0      0                  0                      
0 1 |      0      0                  0                      
1 0 |      0      0                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #830
P S | ~S  ~S  ~S  ~S  (~S) v P  ((~S) v P) > (~S)  (~S) v (((~S) v P) > (~S))  ((~S) v (((~S) v P) > (~S))) v (~S)  
0 0 |   1   1   1   1         1                  1                           1                                    1                      
0 1 |   0   0   0   0         0                  1                           1                                    1                      
1 0 |   1   1   1   1         1                  1                           1                                    1                      
1 1 |   0   0   0   0         1                  0                           0                                    0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #828
P Q S | P < P  Q < (P < P)  Q > (Q < (P < P))  (Q > (Q < (P < P))) & S  
0 0 0 |      1            0                  1                        0                        
0 0 1 |      1            0                  1                        1                        
0 1 0 |      1            1                  1                        0                        
0 1 1 |      1            1                  1                        1                        
1 0 0 |      1            0                  1                        0                        
1 0 1 |      1            0                  1                        1                        
1 1 0 |      1            1                  1                        0                        
1 1 1 |      1            1                  1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #827
Q S | ~Q  S v (~Q)  S > (S v (~Q))  
0 0 |   1         1               1                      
0 1 |   1         1               1                      
1 0 |   0         0               1                      
1 1 |   0         1               1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #832
P R S | P < S  (P < S) & R  
0 0 0 |      1            0                        
0 0 1 |      0            0                        
0 1 0 |      1            1                        
0 1 1 |      0            0                        
1 0 0 |      0            0                        
1 0 1 |      1            0                        
1 1 0 |      0            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #833
P Q S | S < S  P > S  (S < S) > Q  (P > S) < S  ((S < S) > Q) > Q  (((S < S) > Q) > Q) > ((P > S) < S)  P v ((((S < S) > Q) > Q) > ((P > S) < S))  
0 0 0 |      1      1            0            0                  1                                    0                                          0                        
0 0 1 |      1      1            0            1                  1                                    1                                          1                        
0 1 0 |      1      1            1            0                  1                                    0                                          0                        
0 1 1 |      1      1            1            1                  1                                    1                                          1                        
1 0 0 |      1      0            0            1                  1                                    1                                          1                        
1 0 1 |      1      1            0            1                  1                                    1                                          1                        
1 1 0 |      1      0            1            1                  1                                    1                                          1                        
1 1 1 |      1      1            1            1                  1                                    1                                          1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #835
P Q | P > Q  
0 0 |      1                      
0 1 |      1                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #834
P Q S | P & S  P < S  Q & (P < S)  (P & S) < (Q & (P < S))  
0 0 0 |      0      1            0                        1                        
0 0 1 |      0      0            0                        1                        
0 1 0 |      0      1            1                        0                        
0 1 1 |      0      0            0                        1                        
1 0 0 |      0      0            0                        1                        
1 0 1 |      1      1            0                        0                        
1 1 0 |      0      0            0                        1                        
1 1 1 |      1      1            1                        1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #836
P R S | P v S  R v (P v S)  
0 0 0 |      0            0                        
0 0 1 |      1            1                        
0 1 0 |      0            1                        
0 1 1 |      1            1                        
1 0 0 |      1            1                        
1 0 1 |      1            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #838
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #831
Q | ~Q  Q v (~Q)  
0 |   1         1                    
1 |   0         1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #837
R S | R > S  R > S  (R > S) < (R > S)  ~((R > S) < (R > S))  
0 0 |      1      1                  1                     0                      
0 1 |      1      1                  1                     0                      
1 0 |      0      0                  1                     0                      
1 1 |      1      1                  1                     0                      
Não, não é satisfatível.
Não, não é tautologia.

Problema #841
P Q R S | S > P  R < P  S < (R < P)  Q < (S < (R < P))  (S > P) > (Q < (S < (R < P)))  
0 0 0 0 |      1      1            0                  1                              1                          
0 0 0 1 |      0      1            1                  0                              1                          
0 0 1 0 |      1      0            1                  0                              0                          
0 0 1 1 |      0      0            0                  1                              1                          
0 1 0 0 |      1      1            0                  0                              0                          
0 1 0 1 |      0      1            1                  1                              1                          
0 1 1 0 |      1      0            1                  1                              1                          
0 1 1 1 |      0      0            0                  0                              1                          
1 0 0 0 |      1      0            1                  0                              0                          
1 0 0 1 |      1      0            0                  1                              1                          
1 0 1 0 |      1      1            0                  1                              1                          
1 0 1 1 |      1      1            1                  0                              0                          
1 1 0 0 |      1      0            1                  1                              1                          
1 1 0 1 |      1      0            0                  0                              0                          
1 1 1 0 |      1      1            0                  0                              0                          
1 1 1 1 |      1      1            1                  1                              1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #840
R S | R > S  R > S  (R > S) & (R > S)  
0 0 |      1      1                  1                      
0 1 |      1      1                  1                      
1 0 |      0      0                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #842
P Q R | P < Q  (P < Q) < R  
0 0 0 |      1            0                        
0 0 1 |      1            1                        
0 1 0 |      0            1                        
0 1 1 |      0            0                        
1 0 0 |      0            1                        
1 0 1 |      0            0                        
1 1 0 |      1            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #844
P Q R S | ~R  Q > S  Q > P  R & (~R)  (Q > S) < Q  ((Q > S) < Q) > (Q > P)  (R & (~R)) > (((Q > S) < Q) > (Q > P))  
0 0 0 0 |   1      1      1         0            0                        1                                       1                          
0 0 0 1 |   1      1      1         0            0                        1                                       1                          
0 0 1 0 |   0      1      1         0            0                        1                                       1                          
0 0 1 1 |   0      1      1         0            0                        1                                       1                          
0 1 0 0 |   1      0      0         0            0                        1                                       1                          
0 1 0 1 |   1      1      0         0            1                        0                                       1                          
0 1 1 0 |   0      0      0         0            0                        1                                       1                          
0 1 1 1 |   0      1      0         0            1                        0                                       1                          
1 0 0 0 |   1      1      1         0            0                        1                                       1                          
1 0 0 1 |   1      1      1         0            0                        1                                       1                          
1 0 1 0 |   0      1      1         0            0                        1                                       1                          
1 0 1 1 |   0      1      1         0            0                        1                                       1                          
1 1 0 0 |   1      0      1         0            0                        1                                       1                          
1 1 0 1 |   1      1      1         0            1                        1                                       1                          
1 1 1 0 |   0      0      1         0            0                        1                                       1                          
1 1 1 1 |   0      1      1         0            1                        1                                       1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #843
R S | S > S  R v (S > S)  
0 0 |      1            1                      
0 1 |      1            1                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #845
P R S | S < S  S < S  S v S  P < (S < S)  P < (S < S)  (P < (S < S)) < (S v S)  R < ((P < (S < S)) < (S v S))  (P < (S < S)) & (R < ((P < (S < S)) < (S v S)))  
0 0 0 |      1      1      0            0            0                        1                              0                                                0                        
0 0 1 |      1      1      1            0            0                        0                              1                                                0                        
0 1 0 |      1      1      0            0            0                        1                              1                                                0                        
0 1 1 |      1      1      1            0            0                        0                              0                                                0                        
1 0 0 |      1      1      0            1            1                        0                              1                                                1                        
1 0 1 |      1      1      1            1            1                        1                              0                                                0                        
1 1 0 |      1      1      0            1            1                        0                              0                                                0                        
1 1 1 |      1      1      1            1            1                        1                              1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #839
Q S | Q > S  
0 0 |      1                      
0 1 |      1                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #846
P Q S | Q > S  P & (Q > S)  Q < (P & (Q > S))  
0 0 0 |      1            0                  1                        
0 0 1 |      1            0                  1                        
0 1 0 |      0            0                  0                        
0 1 1 |      1            0                  0                        
1 0 0 |      1            1                  0                        
1 0 1 |      1            1                  0                        
1 1 0 |      0            0                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #847
P S | S v P  ~(S v P)  
0 0 |      0         1                      
0 1 |      1         0                      
1 0 |      1         0                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #848
Q R | ~R  (~R) > Q  
0 0 |   1         0                      
0 1 |   0         1                      
1 0 |   1         1                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #850
R S | S > R  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #851
Q R S | R v S  R > (R v S)  Q v (R > (R v S))  
0 0 0 |      0            1                  1                        
0 0 1 |      1            1                  1                        
0 1 0 |      1            1                  1                        
0 1 1 |      1            1                  1                        
1 0 0 |      0            1                  1                        
1 0 1 |      1            1                  1                        
1 1 0 |      1            1                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #852
R | ~R  (~R) & R  
0 |   1         0                    
1 |   0         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #853
Q R | Q < Q  ~(Q < Q)  R & (~(Q < Q))  
0 0 |      1         0               0                      
0 1 |      1         0               0                      
1 0 |      1         0               0                      
1 1 |      1         0               0                      
Não, não é satisfatível.
Não, não é tautologia.

Problema #854
P R S | S > R  S > R  R < S  R < S  (S > R) < P  (S > R) < P  (R < S) > (R < S)  ((S > R) < P) < ((R < S) > (R < S))  ((S > R) < P) & (((S > R) < P) < ((R < S) > (R < S)))  
0 0 0 |      1      1      1      1            0            0                  1                                    0                                                      0                        
0 0 1 |      0      0      0      0            1            1                  1                                    1                                                      1                        
0 1 0 |      1      1      0      0            0            0                  1                                    0                                                      0                        
0 1 1 |      1      1      1      1            0            0                  1                                    0                                                      0                        
1 0 0 |      1      1      1      1            1            1                  1                                    1                                                      1                        
1 0 1 |      0      0      0      0            0            0                  1                                    0                                                      0                        
1 1 0 |      1      1      0      0            1            1                  1                                    1                                                      1                        
1 1 1 |      1      1      1      1            1            1                  1                                    1                                                      1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #856
Q R S | S < R  S < R  S > S  Q v (S < R)  Q v (S < R)  (Q v (S < R)) v (Q v (S < R))  ((Q v (S < R)) v (Q v (S < R))) v (S > S)  
0 0 0 |      1      1      1            1            1                              1                                          1                        
0 0 1 |      0      0      1            0            0                              0                                          1                        
0 1 0 |      0      0      1            0            0                              0                                          1                        
0 1 1 |      1      1      1            1            1                              1                                          1                        
1 0 0 |      1      1      1            1            1                              1                                          1                        
1 0 1 |      0      0      1            1            1                              1                                          1                        
1 1 0 |      0      0      1            1            1                              1                                          1                        
1 1 1 |      1      1      1            1            1                              1                                          1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #855
P Q R | Q > R  Q > R  Q < (Q > R)  P & (Q > R)  R v (P & (Q > R))  (Q < (Q > R)) < (R v (P & (Q > R)))  
0 0 0 |      1      1            0            0                  0                                    1                        
0 0 1 |      1      1            0            0                  1                                    0                        
0 1 0 |      0      0            0            0                  0                                    1                        
0 1 1 |      1      1            1            0                  1                                    1                        
1 0 0 |      1      1            0            1                  1                                    0                        
1 0 1 |      1      1            0            1                  1                                    0                        
1 1 0 |      0      0            0            0                  0                                    1                        
1 1 1 |      1      1            1            1                  1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #849
Q S | Q v S  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #857
P Q | P > P  P > P  P > P  Q & (P > P)  Q & (P > P)  Q & (P > P)  (Q & (P > P)) v (Q & (P > P))  (Q & (P > P)) v ((Q & (P > P)) v (Q & (P > P)))  
0 0 |      1      1      1            0            0            0                              0                                                0                      
0 1 |      1      1      1            1            1            1                              1                                                1                      
1 0 |      1      1      1            0            0            0                              0                                                0                      
1 1 |      1      1      1            1            1            1                              1                                                1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #860
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #858
P S | ~S  ~P  (~S) v (~P)  
0 0 |   1   1            1                      
0 1 |   0   1            1                      
1 0 |   1   0            1                      
1 1 |   0   0            0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #859
P R S | P & R  (P & R) < S  ~((P & R) < S)  S v (~((P & R) < S))  
0 0 0 |      0            1               0                     0                        
0 0 1 |      0            0               1                     1                        
0 1 0 |      0            1               0                     0                        
0 1 1 |      0            0               1                     1                        
1 0 0 |      0            1               0                     0                        
1 0 1 |      0            0               1                     1                        
1 1 0 |      1            0               1                     1                        
1 1 1 |      1            1               0                     1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #862
P Q | Q & P  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #863
P Q | P > P  P > P  (P > P) < Q  (P > P) v ((P > P) < Q)  
0 0 |      1      1            0                        1                      
0 1 |      1      1            1                        1                      
1 0 |      1      1            0                        1                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #864
P R S | R & S  P > (R & S)  
0 0 0 |      0            1                        
0 0 1 |      0            1                        
0 1 0 |      0            1                        
0 1 1 |      1            1                        
1 0 0 |      0            0                        
1 0 1 |      0            0                        
1 1 0 |      0            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #865
R S | S v S  S > R  (S v S) v (S > R)  
0 0 |      0      1                  1                      
0 1 |      1      0                  1                      
1 0 |      0      1                  1                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #866
P S | P < S  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #861
P Q | Q < P  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #867
P S | P < S  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #869
R | R > R  ~(R > R)  ~(~(R > R))  
0 |      1         0            1                    
1 |      1         0            1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #870
P | P > P  P > P  (P > P) v (P > P)  ((P > P) v (P > P)) v P  
0 |      1      1                  1                        1                    
1 |      1      1                  1                        1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #872
P S | P > S  P > S  P < S  (P > S) v (P < S)  (P > S) > ((P > S) v (P < S))  
0 0 |      1      1      1                  1                              1                      
0 1 |      1      1      0                  1                              1                      
1 0 |      0      0      0                  0                              1                      
1 1 |      1      1      1                  1                              1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #868
Q | ~Q  (~Q) & Q  
0 |   1         0                    
1 |   0         0                    
Não, não é satisfatível.
Não, não é tautologia.

Problema #873
P Q R | R & Q  R & Q  ~(R & Q)  P > (R & Q)  (~(R & Q)) v (P > (R & Q))  
0 0 0 |      0      0         1            1                           1                        
0 0 1 |      0      0         1            1                           1                        
0 1 0 |      0      0         1            1                           1                        
0 1 1 |      1      1         0            1                           1                        
1 0 0 |      0      0         1            0                           1                        
1 0 1 |      0      0         1            0                           1                        
1 1 0 |      0      0         1            0                           1                        
1 1 1 |      1      1         0            1                           1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #874
P Q R S | S v S  S v S  S v S  ~(S v S)  (S v S) > R  (S v S) > R  Q v ((S v S) > R)  Q v ((S v S) > R)  P & (Q v ((S v S) > R))  (P & (Q v ((S v S) > R))) v (~(S v S))  ((P & (Q v ((S v S) > R))) v (~(S v S))) > (Q v ((S v S) > R))  R v (((P & (Q v ((S v S) > R))) v (~(S v S))) > (Q v ((S v S) > R)))  
0 0 0 0 |      0      0      0         1            1            1                  1                  1                        0                                       1                                                               1                                                                     1                          
0 0 0 1 |      1      1      1         0            0            0                  0                  0                        0                                       0                                                               1                                                                     1                          
0 0 1 0 |      0      0      0         1            1            1                  1                  1                        0                                       1                                                               1                                                                     1                          
0 0 1 1 |      1      1      1         0            1            1                  1                  1                        0                                       0                                                               1                                                                     1                          
0 1 0 0 |      0      0      0         1            1            1                  1                  1                        0                                       1                                                               1                                                                     1                          
0 1 0 1 |      1      1      1         0            0            0                  1                  1                        0                                       0                                                               1                                                                     1                          
0 1 1 0 |      0      0      0         1            1            1                  1                  1                        0                                       1                                                               1                                                                     1                          
0 1 1 1 |      1      1      1         0            1            1                  1                  1                        0                                       0                                                               1                                                                     1                          
1 0 0 0 |      0      0      0         1            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
1 0 0 1 |      1      1      1         0            0            0                  0                  0                        0                                       0                                                               1                                                                     1                          
1 0 1 0 |      0      0      0         1            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
1 0 1 1 |      1      1      1         0            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
1 1 0 0 |      0      0      0         1            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
1 1 0 1 |      1      1      1         0            0            0                  1                  1                        1                                       1                                                               1                                                                     1                          
1 1 1 0 |      0      0      0         1            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
1 1 1 1 |      1      1      1         0            1            1                  1                  1                        1                                       1                                                               1                                                                     1                          
Sim, é satisfatível.
Sim, é tautologia.

Problema #871
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #875
P S | S > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #876
Q R | R v Q  Q > (R v Q)  Q < (Q > (R v Q))  
0 0 |      0            1                  0                      
0 1 |      1            1                  0                      
1 0 |      1            1                  1                      
1 1 |      1            1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #877
P R S | ~P  ~P  ~P  S & S  R v P  (S & S) > (~P)  (~P) < (R v P)  ((~P) < (R v P)) v (~P)  ((S & S) > (~P)) < (((~P) < (R v P)) v (~P))  
0 0 0 |   1   1   1      0      0               1               0                        1                                             1                        
0 0 1 |   1   1   1      1      0               1               0                        1                                             1                        
0 1 0 |   1   1   1      0      1               1               1                        1                                             1                        
0 1 1 |   1   1   1      1      1               1               1                        1                                             1                        
1 0 0 |   0   0   0      0      1               1               0                        0                                             0                        
1 0 1 |   0   0   0      1      1               0               0                        0                                             1                        
1 1 0 |   0   0   0      0      1               1               0                        0                                             0                        
1 1 1 |   0   0   0      1      1               0               0                        0                                             1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #879
Q S | ~S  (~S) & Q  
0 0 |   1         0                      
0 1 |   0         0                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #880
Q R S | ~R  R > R  Q > (~R)  S < (R > R)  (S < (R > R)) < (Q > (~R))  
0 0 0 |   1      1         1            0                           0                        
0 0 1 |   1      1         1            1                           1                        
0 1 0 |   0      1         1            0                           0                        
0 1 1 |   0      1         1            1                           1                        
1 0 0 |   1      1         1            0                           0                        
1 0 1 |   1      1         1            1                           1                        
1 1 0 |   0      1         0            0                           1                        
1 1 1 |   0      1         0            1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #881
P Q | P > Q  P & (P > Q)  
0 0 |      1            0                      
0 1 |      1            0                      
1 0 |      0            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #878
P | P v P  
0 |      0                    
1 |      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #882
Q S | S < Q  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #884
P R | P & R  ~(P & R)  
0 0 |      0         1                      
0 1 |      0         1                      
1 0 |      0         1                      
1 1 |      1         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #886
P Q R S | ~P  R & R  ~(R & R)  (~(R & R)) < S  Q v ((~(R & R)) < S)  (Q v ((~(R & R)) < S)) & (~P)  
0 0 0 0 |   1      0         1               0                     0                              0                          
0 0 0 1 |   1      0         1               1                     1                              1                          
0 0 1 0 |   1      1         0               1                     1                              1                          
0 0 1 1 |   1      1         0               0                     0                              0                          
0 1 0 0 |   1      0         1               0                     1                              1                          
0 1 0 1 |   1      0         1               1                     1                              1                          
0 1 1 0 |   1      1         0               1                     1                              1                          
0 1 1 1 |   1      1         0               0                     1                              1                          
1 0 0 0 |   0      0         1               0                     0                              0                          
1 0 0 1 |   0      0         1               1                     1                              0                          
1 0 1 0 |   0      1         0               1                     1                              0                          
1 0 1 1 |   0      1         0               0                     0                              0                          
1 1 0 0 |   0      0         1               0                     1                              0                          
1 1 0 1 |   0      0         1               1                     1                              0                          
1 1 1 0 |   0      1         0               1                     1                              0                          
1 1 1 1 |   0      1         0               0                     1                              0                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #887
P Q S | S > S  S < P  S & P  ~(S < P)  (~(S < P)) > (S & P)  (S > S) < ((~(S < P)) > (S & P))  ((S > S) < ((~(S < P)) > (S & P))) < Q  
0 0 0 |      1      1      0         0                     1                                 1                                       0                        
0 0 1 |      1      0      0         1                     0                                 0                                       1                        
0 1 0 |      1      1      0         0                     1                                 1                                       1                        
0 1 1 |      1      0      0         1                     0                                 0                                       0                        
1 0 0 |      1      0      0         1                     0                                 0                                       1                        
1 0 1 |      1      1      1         0                     1                                 1                                       0                        
1 1 0 |      1      0      0         1                     0                                 0                                       0                        
1 1 1 |      1      1      1         0                     1                                 1                                       1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #885
Q | Q v Q  ~(Q v Q)  
0 |      0         1                    
1 |      1         0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #883
P | ~P  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #890
P Q R S | R v Q  S > P  Q < R  (Q < R) v P  (S > P) & ((Q < R) v P)  (R v Q) v ((S > P) & ((Q < R) v P))  
0 0 0 0 |      0      1      1            1                        1                                    1                          
0 0 0 1 |      0      0      1            1                        0                                    0                          
0 0 1 0 |      1      1      0            0                        0                                    1                          
0 0 1 1 |      1      0      0            0                        0                                    1                          
0 1 0 0 |      1      1      0            0                        0                                    1                          
0 1 0 1 |      1      0      0            0                        0                                    1                          
0 1 1 0 |      1      1      1            1                        1                                    1                          
0 1 1 1 |      1      0      1            1                        0                                    1                          
1 0 0 0 |      0      1      1            1                        1                                    1                          
1 0 0 1 |      0      1      1            1                        1                                    1                          
1 0 1 0 |      1      1      0            1                        1                                    1                          
1 0 1 1 |      1      1      0            1                        1                                    1                          
1 1 0 0 |      1      1      0            1                        1                                    1                          
1 1 0 1 |      1      1      0            1                        1                                    1                          
1 1 1 0 |      1      1      1            1                        1                                    1                          
1 1 1 1 |      1      1      1            1                        1                                    1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #891
Q R | ~R  ~(~R)  Q > (~(~R))  
0 0 |   1      0            1                      
0 1 |   0      1            1                      
1 0 |   1      0            0                      
1 1 |   0      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #892
P S | S < S  S v (S < S)  (S v (S < S)) & P  S > ((S v (S < S)) & P)  
0 0 |      1            1                  0                        1                      
0 1 |      1            1                  0                        0                      
1 0 |      1            1                  1                        1                      
1 1 |      1            1                  1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #889
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #893
Q S | ~Q  Q v S  (Q v S) & (~Q)  
0 0 |   1      0               0                      
0 1 |   1      1               1                      
1 0 |   0      1               0                      
1 1 |   0      1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #894
P Q R | ~Q  (~Q) & R  ((~Q) & R) & P  
0 0 0 |   1         0               0                        
0 0 1 |   1         1               0                        
0 1 0 |   0         0               0                        
0 1 1 |   0         0               0                        
1 0 0 |   1         0               0                        
1 0 1 |   1         1               1                        
1 1 0 |   0         0               0                        
1 1 1 |   0         0               0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #895
P S | ~P  (~P) > S  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         1                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #896
P Q R | P & Q  P & Q  P & Q  P & Q  (P & Q) & (P & Q)  (P & Q) & (P & Q)  R & ((P & Q) & (P & Q))  R & ((P & Q) & (P & Q))  (R & ((P & Q) & (P & Q))) & (R & ((P & Q) & (P & Q)))  Q & ((R & ((P & Q) & (P & Q))) & (R & ((P & Q) & (P & Q))))  
0 0 0 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
0 0 1 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
0 1 0 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
0 1 1 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
1 0 0 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
1 0 1 |      0      0      0      0                  0                  0                        0                        0                                                      0                                                            0                        
1 1 0 |      1      1      1      1                  1                  1                        0                        0                                                      0                                                            0                        
1 1 1 |      1      1      1      1                  1                  1                        1                        1                                                      1                                                            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #897
R |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #898
Q R | ~Q  ~Q  ~Q  (~Q) < R  (~Q) > Q  (~Q) < R  ((~Q) < R) < R  ((~Q) > Q) > ((~Q) < R)  (((~Q) < R) < R) < (((~Q) > Q) > ((~Q) < R))  
0 0 |   1   1   1         0         0         0               1                        1                                             1                      
0 1 |   1   1   1         1         0         1               1                        1                                             1                      
1 0 |   0   0   0         1         1         1               0                        1                                             0                      
1 1 |   0   0   0         0         1         0               0                        0                                             1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #899
Q S | ~Q  S v (~Q)  ~(S v (~Q))  
0 0 |   1         1            0                      
0 1 |   1         1            0                      
1 0 |   0         0            1                      
1 1 |   0         1            0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #888
Q | ~Q  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #900
P Q | ~P  (~P) > Q  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         1                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #901
R S | R v R  (R v R) > S  
0 0 |      0            1                      
0 1 |      0            1                      
1 0 |      1            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #903
Q R S | ~R  R & Q  Q > S  (R & Q) > (~R)  ((R & Q) > (~R)) < (Q > S)  
0 0 0 |   1      0      1               1                           1                        
0 0 1 |   1      0      1               1                           1                        
0 1 0 |   0      0      1               1                           1                        
0 1 1 |   0      0      1               1                           1                        
1 0 0 |   1      0      0               1                           0                        
1 0 1 |   1      0      1               1                           1                        
1 1 0 |   0      1      0               0                           1                        
1 1 1 |   0      1      1               0                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #902
P R | P & R  (P & R) v P  
0 0 |      0            0                      
0 1 |      0            0                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #904
P Q R | P & Q  (P & Q) > R  ((P & Q) > R) < P  
0 0 0 |      0            1                  0                        
0 0 1 |      0            1                  0                        
0 1 0 |      0            1                  0                        
0 1 1 |      0            1                  0                        
1 0 0 |      0            1                  1                        
1 0 1 |      0            1                  1                        
1 1 0 |      1            0                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #906
P Q | P > Q  Q > (P > Q)  
0 0 |      1            1                      
0 1 |      1            1                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #907
R S | S & R  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #908
P Q S | Q v S  (Q v S) & P  
0 0 0 |      0            0                        
0 0 1 |      1            0                        
0 1 0 |      1            0                        
0 1 1 |      1            0                        
1 0 0 |      0            0                        
1 0 1 |      1            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #909
Q R S | R < Q  (R < Q) v S  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      0            0                        
0 1 1 |      0            1                        
1 0 0 |      0            0                        
1 0 1 |      0            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #905
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #911
P Q | P & P  Q v Q  (P & P) > (Q v Q)  
0 0 |      0      0                  1                      
0 1 |      0      1                  1                      
1 0 |      1      0                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #910
Q R | Q < R  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #913
Q R S | S & Q  (S & Q) & R  ((S & Q) & R) > Q  (((S & Q) & R) > Q) < S  S > ((((S & Q) & R) > Q) < S)  
0 0 0 |      0            0                  1                        0                              1                        
0 0 1 |      0            0                  1                        1                              1                        
0 1 0 |      0            0                  1                        0                              1                        
0 1 1 |      0            0                  1                        1                              1                        
1 0 0 |      0            0                  1                        0                              1                        
1 0 1 |      1            0                  1                        1                              1                        
1 1 0 |      0            0                  1                        0                              1                        
1 1 1 |      1            1                  1                        1                              1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #914
R S | ~R  S & (~R)  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         0                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #912
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #916
Q | Q < Q  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #917
P S | S > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #918
P Q | Q & P  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #919
P Q R | ~R  ~R  Q v P  (~R) > (~R)  Q > (Q v P)  R < ((~R) > (~R))  (R < ((~R) > (~R))) v (Q > (Q v P))  
0 0 0 |   1   1      0            1            1                  0                                    1                        
0 0 1 |   0   0      0            1            1                  1                                    1                        
0 1 0 |   1   1      1            1            1                  0                                    1                        
0 1 1 |   0   0      1            1            1                  1                                    1                        
1 0 0 |   1   1      1            1            1                  0                                    1                        
1 0 1 |   0   0      1            1            1                  1                                    1                        
1 1 0 |   1   1      1            1            1                  0                                    1                        
1 1 1 |   0   0      1            1            1                  1                                    1                        
Sim, é satisfatível.
Sim, é tautologia.

Problema #920
R S | S v R  S v R  (S v R) < S  ((S v R) < S) < (S v R)  
0 0 |      0      0            1                        0                      
0 1 |      1      1            1                        1                      
1 0 |      1      1            0                        0                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #922
P R S | S v P  S > R  ~(S v P)  (~(S v P)) v (S > R)  ~((~(S v P)) v (S > R))  ~(~((~(S v P)) v (S > R)))  
0 0 0 |      0      1         1                     1                        0                           1                        
0 0 1 |      1      0         0                     0                        1                           0                        
0 1 0 |      0      1         1                     1                        0                           1                        
0 1 1 |      1      1         0                     1                        0                           1                        
1 0 0 |      1      1         0                     1                        0                           1                        
1 0 1 |      1      0         0                     0                        1                           0                        
1 1 0 |      1      1         0                     1                        0                           1                        
1 1 1 |      1      1         0                     1                        0                           1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #921
P S | P < S  P < S  (P < S) & (P < S)  
0 0 |      1      1                  1                      
0 1 |      0      0                  0                      
1 0 |      0      0                  0                      
1 1 |      1      1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #923
P Q R | Q > R  (Q > R) & P  P < ((Q > R) & P)  
0 0 0 |      1            0                  1                        
0 0 1 |      1            0                  1                        
0 1 0 |      0            0                  1                        
0 1 1 |      1            0                  1                        
1 0 0 |      1            1                  1                        
1 0 1 |      1            1                  1                        
1 1 0 |      0            0                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #915
P |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #925
P R | R & P  ~(R & P)  ~(~(R & P))  
0 0 |      0         1            0                      
0 1 |      0         1            0                      
1 0 |      0         1            0                      
1 1 |      1         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #924
P S | ~S  S & P  (~S) v (S & P)  
0 0 |   1      0               1                      
0 1 |   0      0               0                      
1 0 |   1      0               1                      
1 1 |   0      1               1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #927
Q R | Q & Q  R & (Q & Q)  
0 0 |      0            0                      
0 1 |      0            0                      
1 0 |      1            0                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #928
Q R | ~Q  R v (~Q)  
0 0 |   1         1                      
0 1 |   1         1                      
1 0 |   0         0                      
1 1 |   0         1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #926
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #929
P Q R S | P < R  R > S  ~(R > S)  (P < R) v (~(R > S))  Q & ((P < R) v (~(R > S)))  
0 0 0 0 |      1      1         0                     1                           0                          
0 0 0 1 |      1      1         0                     1                           0                          
0 0 1 0 |      0      0         1                     1                           0                          
0 0 1 1 |      0      1         0                     0                           0                          
0 1 0 0 |      1      1         0                     1                           1                          
0 1 0 1 |      1      1         0                     1                           1                          
0 1 1 0 |      0      0         1                     1                           1                          
0 1 1 1 |      0      1         0                     0                           0                          
1 0 0 0 |      0      1         0                     0                           0                          
1 0 0 1 |      0      1         0                     0                           0                          
1 0 1 0 |      1      0         1                     1                           0                          
1 0 1 1 |      1      1         0                     1                           0                          
1 1 0 0 |      0      1         0                     0                           0                          
1 1 0 1 |      0      1         0                     0                           0                          
1 1 1 0 |      1      0         1                     1                           1                          
1 1 1 1 |      1      1         0                     1                           1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #930
Q S | S > S  (S > S) & Q  
0 0 |      1            0                      
0 1 |      1            0                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #931
R S | S > R  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #932
P R S | R v R  R v R  R v R  S < (R v R)  S < (R v R)  S < (R v R)  P v (S < (R v R))  (S < (R v R)) v (P v (S < (R v R)))  ((S < (R v R)) v (P v (S < (R v R)))) & (S < (R v R))  
0 0 0 |      0      0      0            1            1            1                  1                                    1                                                      1                        
0 0 1 |      0      0      0            0            0            0                  0                                    0                                                      0                        
0 1 0 |      1      1      1            0            0            0                  0                                    0                                                      0                        
0 1 1 |      1      1      1            1            1            1                  1                                    1                                                      1                        
1 0 0 |      0      0      0            1            1            1                  1                                    1                                                      1                        
1 0 1 |      0      0      0            0            0            0                  1                                    1                                                      0                        
1 1 0 |      1      1      1            0            0            0                  1                                    1                                                      0                        
1 1 1 |      1      1      1            1            1            1                  1                                    1                                                      1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #935
P Q R | R v R  Q > R  R v R  Q v (R v R)  Q v (R v R)  (Q > R) & (Q v (R v R))  ((Q > R) & (Q v (R v R))) < P  (Q v (R v R)) < (((Q > R) & (Q v (R v R))) < P)  
0 0 0 |      0      1      0            0            0                        0                              1                                                0                        
0 0 1 |      1      1      1            1            1                        1                              0                                                0                        
0 1 0 |      0      0      0            1            1                        0                              1                                                1                        
0 1 1 |      1      1      1            1            1                        1                              0                                                0                        
1 0 0 |      0      1      0            0            0                        0                              0                                                1                        
1 0 1 |      1      1      1            1            1                        1                              1                                                1                        
1 1 0 |      0      0      0            1            1                        0                              0                                                0                        
1 1 1 |      1      1      1            1            1                        1                              1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #934
R S | R v S  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #936
R S | S < R  
0 0 |      1                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #933
P Q R | Q & R  Q & R  Q > (Q & R)  (Q & R) < (Q > (Q & R))  P > ((Q & R) < (Q > (Q & R)))  
0 0 0 |      0      0            1                        0                              1                        
0 0 1 |      0      0            1                        0                              1                        
0 1 0 |      0      0            0                        1                              1                        
0 1 1 |      1      1            1                        1                              1                        
1 0 0 |      0      0            1                        0                              0                        
1 0 1 |      0      0            1                        0                              0                        
1 1 0 |      0      0            0                        1                              1                        
1 1 1 |      1      1            1                        1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #937
P Q R | P < Q  P < Q  (P < Q) < R  (P < Q) < R  R > ((P < Q) < R)  ((P < Q) < R) v (R > ((P < Q) < R))  
0 0 0 |      1      1            0            0                  1                                    1                        
0 0 1 |      1      1            1            1                  1                                    1                        
0 1 0 |      0      0            1            1                  1                                    1                        
0 1 1 |      0      0            0            0                  0                                    0                        
1 0 0 |      0      0            1            1                  1                                    1                        
1 0 1 |      0      0            0            0                  0                                    0                        
1 1 0 |      1      1            0            0                  1                                    1                        
1 1 1 |      1      1            1            1                  1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #938
Q S | S > S  (S > S) > S  Q v ((S > S) > S)  
0 0 |      1            0                  0                      
0 1 |      1            1                  1                      
1 0 |      1            0                  1                      
1 1 |      1            1                  1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #940
R | ~R  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #939
P Q | ~P  P > P  Q < (P > P)  ~(Q < (P > P))  (~P) & (~(Q < (P > P)))  
0 0 |   1      1            0               1                        1                      
0 1 |   1      1            1               0                        0                      
1 0 |   0      1            0               1                        0                      
1 1 |   0      1            1               0                        0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #943
Q S | S > Q  Q v (S > Q)  
0 0 |      1            1                      
0 1 |      0            0                      
1 0 |      1            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #942
P S | ~P  (~P) & S  
0 0 |   1         0                      
0 1 |   1         1                      
1 0 |   0         0                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #944
S |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #941
P S | ~S  P < (~S)  
0 0 |   1         0                      
0 1 |   0         1                      
1 0 |   1         1                      
1 1 |   0         0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #945
Q R | R & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #946
P | ~P  ~(~P)  
0 |   1      0                    
1 |   0      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #947
Q R S | R < S  (R < S) < R  ((R < S) < R) & Q  
0 0 0 |      1            0                  0                        
0 0 1 |      0            1                  0                        
0 1 0 |      0            0                  0                        
0 1 1 |      1            1                  0                        
1 0 0 |      1            0                  0                        
1 0 1 |      0            1                  1                        
1 1 0 |      0            0                  0                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #948
P Q R | R v R  Q > P  Q > P  (Q > P) > (Q > P)  (R v R) < ((Q > P) > (Q > P))  
0 0 0 |      0      1      1                  1                              0                        
0 0 1 |      1      1      1                  1                              1                        
0 1 0 |      0      0      0                  1                              0                        
0 1 1 |      1      0      0                  1                              1                        
1 0 0 |      0      1      1                  1                              0                        
1 0 1 |      1      1      1                  1                              1                        
1 1 0 |      0      1      1                  1                              0                        
1 1 1 |      1      1      1                  1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #949
P R S | R < P  S v (R < P)  
0 0 0 |      1            1                        
0 0 1 |      1            1                        
0 1 0 |      0            0                        
0 1 1 |      0            1                        
1 0 0 |      0            0                        
1 0 1 |      0            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #950
P Q R S | ~P  ~P  Q < Q  S & S  Q v (~P)  (~P) v R  (Q v (~P)) & R  (Q < Q) > ((Q v (~P)) & R)  ((Q < Q) > ((Q v (~P)) & R)) < (S & S)  (((Q < Q) > ((Q v (~P)) & R)) < (S & S)) > ((~P) v R)  
0 0 0 0 |   1   1      1      0         1         1               0                           0                                       1                                                      1                          
0 0 0 1 |   1   1      1      1         1         1               0                           0                                       0                                                      1                          
0 0 1 0 |   1   1      1      0         1         1               1                           1                                       0                                                      1                          
0 0 1 1 |   1   1      1      1         1         1               1                           1                                       1                                                      1                          
0 1 0 0 |   1   1      1      0         1         1               0                           0                                       1                                                      1                          
0 1 0 1 |   1   1      1      1         1         1               0                           0                                       0                                                      1                          
0 1 1 0 |   1   1      1      0         1         1               1                           1                                       0                                                      1                          
0 1 1 1 |   1   1      1      1         1         1               1                           1                                       1                                                      1                          
1 0 0 0 |   0   0      1      0         0         0               0                           0                                       1                                                      0                          
1 0 0 1 |   0   0      1      1         0         0               0                           0                                       0                                                      1                          
1 0 1 0 |   0   0      1      0         0         1               0                           0                                       1                                                      1                          
1 0 1 1 |   0   0      1      1         0         1               0                           0                                       0                                                      1                          
1 1 0 0 |   0   0      1      0         1         0               0                           0                                       1                                                      0                          
1 1 0 1 |   0   0      1      1         1         0               0                           0                                       0                                                      1                          
1 1 1 0 |   0   0      1      0         1         1               1                           1                                       0                                                      1                          
1 1 1 1 |   0   0      1      1         1         1               1                           1                                       1                                                      1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #951
P S | S & P  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #952
P R S | ~P  ~P  R v S  R v S  (~P) > (R v S)  (~P) > (R v S)  ((~P) > (R v S)) & ((~P) > (R v S))  
0 0 0 |   1   1      0      0               0               0                                    0                        
0 0 1 |   1   1      1      1               1               1                                    1                        
0 1 0 |   1   1      1      1               1               1                                    1                        
0 1 1 |   1   1      1      1               1               1                                    1                        
1 0 0 |   0   0      0      0               1               1                                    1                        
1 0 1 |   0   0      1      1               1               1                                    1                        
1 1 0 |   0   0      1      1               1               1                                    1                        
1 1 1 |   0   0      1      1               1               1                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #953
P R S | ~P  (~P) & R  P < ((~P) & R)  (P < ((~P) & R)) < P  S v ((P < ((~P) & R)) < P)  
0 0 0 |   1         0               1                     0                           0                        
0 0 1 |   1         0               1                     0                           1                        
0 1 0 |   1         1               0                     1                           1                        
0 1 1 |   1         1               0                     1                           1                        
1 0 0 |   0         0               0                     0                           0                        
1 0 1 |   0         0               0                     0                           1                        
1 1 0 |   0         0               0                     0                           0                        
1 1 1 |   0         0               0                     0                           1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #954
P R S | ~R  ~P  S & P  P & S  (S & P) < R  (~P) v ((S & P) < R)  ((~P) v ((S & P) < R)) v S  (~R) & (((~P) v ((S & P) < R)) v S)  ((~R) & (((~P) v ((S & P) < R)) v S)) > (P & S)  
0 0 0 |   1   1      0      0            1                     1                           1                                    1                                                0                        
0 0 1 |   1   1      0      0            1                     1                           1                                    1                                                0                        
0 1 0 |   0   1      0      0            0                     1                           1                                    0                                                1                        
0 1 1 |   0   1      0      0            0                     1                           1                                    0                                                1                        
1 0 0 |   1   0      0      0            1                     1                           1                                    1                                                0                        
1 0 1 |   1   0      1      1            0                     0                           1                                    1                                                1                        
1 1 0 |   0   0      0      0            0                     0                           0                                    0                                                1                        
1 1 1 |   0   0      1      1            1                     1                           1                                    0                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #955
P Q R S | ~P  Q < P  Q < P  (~P) > R  (Q < P) & P  (Q < P) & S  ((Q < P) & P) < ((~P) > R)  (((Q < P) & P) < ((~P) > R)) < ((Q < P) & S)  
0 0 0 0 |   1      1      1         0            0            0                           1                                             0                          
0 0 0 1 |   1      1      1         0            0            1                           1                                             1                          
0 0 1 0 |   1      1      1         1            0            0                           0                                             1                          
0 0 1 1 |   1      1      1         1            0            1                           0                                             0                          
0 1 0 0 |   1      0      0         0            0            0                           1                                             0                          
0 1 0 1 |   1      0      0         0            0            0                           1                                             0                          
0 1 1 0 |   1      0      0         1            0            0                           0                                             1                          
0 1 1 1 |   1      0      0         1            0            0                           0                                             1                          
1 0 0 0 |   0      0      0         1            0            0                           0                                             1                          
1 0 0 1 |   0      0      0         1            0            0                           0                                             1                          
1 0 1 0 |   0      0      0         1            0            0                           0                                             1                          
1 0 1 1 |   0      0      0         1            0            0                           0                                             1                          
1 1 0 0 |   0      1      1         1            1            0                           1                                             0                          
1 1 0 1 |   0      1      1         1            1            1                           1                                             1                          
1 1 1 0 |   0      1      1         1            1            0                           1                                             0                          
1 1 1 1 |   0      1      1         1            1            1                           1                                             1                          
Sim, é satisfatível.
Não, não é tautologia.

Problema #956
Q S | S & Q  
0 0 |      0                      
0 1 |      0                      
1 0 |      0                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #957
S | ~S  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #958
P Q S | S > Q  (S > Q) v P  
0 0 0 |      1            1                        
0 0 1 |      0            0                        
0 1 0 |      1            1                        
0 1 1 |      1            1                        
1 0 0 |      1            1                        
1 0 1 |      0            1                        
1 1 0 |      1            1                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #959
S | S & S  
0 |      0                    
1 |      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #960
P S | S > P  ~(S > P)  ~(~(S > P))  
0 0 |      1         0            1                      
0 1 |      0         1            0                      
1 0 |      1         0            1                      
1 1 |      1         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #961
S | S v S  (S v S) < S  
0 |      0            1                    
1 |      1            1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #962
P Q R | ~R  Q < R  Q < R  (Q < R) v R  ((Q < R) v R) & (~R)  (((Q < R) v R) & (~R)) & (Q < R)  ((((Q < R) v R) & (~R)) & (Q < R)) & P  
0 0 0 |   1      1      1            1                     1                                 1                                       0                        
0 0 1 |   0      0      0            1                     0                                 0                                       0                        
0 1 0 |   1      0      0            0                     0                                 0                                       0                        
0 1 1 |   0      1      1            1                     0                                 0                                       0                        
1 0 0 |   1      1      1            1                     1                                 1                                       1                        
1 0 1 |   0      0      0            1                     0                                 0                                       0                        
1 1 0 |   1      0      0            0                     0                                 0                                       0                        
1 1 1 |   0      1      1            1                     0                                 0                                       0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #963
P Q R S | ~R  P < Q  S v (P < Q)  (S v (P < Q)) & R  (~R) & ((S v (P < Q)) & R)  
0 0 0 0 |   1      1            1                  0                           0                          
0 0 0 1 |   1      1            1                  0                           0                          
0 0 1 0 |   0      1            1                  1                           0                          
0 0 1 1 |   0      1            1                  1                           0                          
0 1 0 0 |   1      0            0                  0                           0                          
0 1 0 1 |   1      0            1                  0                           0                          
0 1 1 0 |   0      0            0                  0                           0                          
0 1 1 1 |   0      0            1                  1                           0                          
1 0 0 0 |   1      0            0                  0                           0                          
1 0 0 1 |   1      0            1                  0                           0                          
1 0 1 0 |   0      0            0                  0                           0                          
1 0 1 1 |   0      0            1                  1                           0                          
1 1 0 0 |   1      1            1                  0                           0                          
1 1 0 1 |   1      1            1                  0                           0                          
1 1 1 0 |   0      1            1                  1                           0                          
1 1 1 1 |   0      1            1                  1                           0                          
Não, não é satisfatível.
Não, não é tautologia.

Problema #964
P Q R | ~R  P < R  (~R) & Q  (P < R) > Q  R v ((~R) & Q)  ~(R v ((~R) & Q))  (~(R v ((~R) & Q))) > ((P < R) > Q)  
0 0 0 |   1      1         0            0               0                  1                                    0                        
0 0 1 |   0      0         0            1               1                  0                                    1                        
0 1 0 |   1      1         1            1               1                  0                                    1                        
0 1 1 |   0      0         0            1               1                  0                                    1                        
1 0 0 |   1      0         0            1               0                  1                                    1                        
1 0 1 |   0      1         0            0               1                  0                                    1                        
1 1 0 |   1      0         1            1               1                  0                                    1                        
1 1 1 |   0      1         0            1               1                  0                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #965
P S | P v P  (P v P) > S  ~((P v P) > S)  
0 0 |      0            1               0                      
0 1 |      0            1               0                      
1 0 |      1            0               1                      
1 1 |      1            1               0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #966
P Q S | Q < S  (Q < S) > P  Q > ((Q < S) > P)  
0 0 0 |      1            0                  1                        
0 0 1 |      0            1                  1                        
0 1 0 |      0            1                  1                        
0 1 1 |      1            0                  0                        
1 0 0 |      1            1                  1                        
1 0 1 |      0            1                  1                        
1 1 0 |      0            1                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #967
P R | P v R  ~(P v R)  ~(~(P v R))  
0 0 |      0         1            0                      
0 1 |      1         0            1                      
1 0 |      1         0            1                      
1 1 |      1         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #968
Q S | ~S  ~S  ~S  ~S  S < Q  S < Q  (~S) < Q  (~S) & Q  (~S) & Q  (~S) & Q  Q > ((~S) & Q)  Q > ((~S) & Q)  Q > ((~S) & Q)  (Q > ((~S) & Q)) v S  (Q > ((~S) & Q)) v S  (Q > ((~S) & Q)) v S  ~((Q > ((~S) & Q)) v S)  ~((Q > ((~S) & Q)) v S)  ((~S) < Q) & (~((Q > ((~S) & Q)) v S))  (~((Q > ((~S) & Q)) v S)) > ((Q > ((~S) & Q)) v S)  ((~((Q > ((~S) & Q)) v S)) > ((Q > ((~S) & Q)) v S)) < (S < Q)  (((~S) < Q) & (~((Q > ((~S) & Q)) v S))) & (((~((Q > ((~S) & Q)) v S)) > ((Q > ((~S) & Q)) v S)) < (S < Q))  ((((~S) < Q) & (~((Q > ((~S) & Q)) v S))) & (((~((Q > ((~S) & Q)) v S)) > ((Q > ((~S) & Q)) v S)) < (S < Q))) < (S < Q)  
0 0 |   1   1   1   1      1      1         0         0         0         0               1               1               1                     1                     1                     1                        0                        0                                       0                                                   1                                                               1                                                                                                            0                                                                                                                        0                      
0 1 |   0   0   0   0      0      0         1         0         0         0               1               1               1                     1                     1                     1                        0                        0                                       0                                                   1                                                               0                                                                                                            0                                                                                                                        1                      
1 0 |   1   1   1   1      0      0         1         1         1         1               1               1               1                     1                     1                     1                        0                        0                                       0                                                   1                                                               0                                                                                                            0                                                                                                                        1                      
1 1 |   0   0   0   0      1      1         0         0         0         0               0               0               0                     1                     1                     1                        0                        0                                       0                                                   1                                                               1                                                                                                            0                                                                                                                        0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #971
R | R > R  (R > R) > R  
0 |      1            0                    
1 |      1            1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #970
P R | P & R  ~(P & R)  ~(~(P & R))  
0 0 |      0         1            0                      
0 1 |      0         1            0                      
1 0 |      0         1            0                      
1 1 |      1         0            1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #969
P R | R v P  
0 0 |      0                      
0 1 |      1                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #972
P Q | P & P  P < Q  P & P  (P & P) < (P < Q)  ((P & P) < (P < Q)) v Q  (((P & P) < (P < Q)) v Q) & (P & P)  
0 0 |      0      1      0                  0                        0                                    0                      
0 1 |      0      0      0                  1                        1                                    0                      
1 0 |      1      0      1                  0                        0                                    0                      
1 1 |      1      1      1                  1                        1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #973
P R S | P & S  P & R  ~(P & S)  P & (P & R)  (~(P & S)) & (P & (P & R))  
0 0 0 |      0      0         1            0                           0                        
0 0 1 |      0      0         1            0                           0                        
0 1 0 |      0      0         1            0                           0                        
0 1 1 |      0      0         1            0                           0                        
1 0 0 |      0      0         1            0                           0                        
1 0 1 |      1      0         0            0                           0                        
1 1 0 |      0      1         1            1                           1                        
1 1 1 |      1      1         0            1                           0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #976
S |
0 |
1 |
Sim, é satisfatível.
Sim, é tautologia.

Problema #975
P Q | Q > P  
0 0 |      1                      
0 1 |      0                      
1 0 |      1                      
1 1 |      1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #974
P Q | ~Q  Q v P  (~Q) v (Q v P)  Q & ((~Q) v (Q v P))  
0 0 |   1      0               1                     0                      
0 1 |   0      1               1                     1                      
1 0 |   1      1               1                     0                      
1 1 |   0      1               1                     1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #979
Q | ~Q  ~Q  ~(~Q)  (~(~Q)) v (~Q)  
0 |   1   1      0               1                    
1 |   0   0      1               1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #977
R S | ~S  R & R  R & (~S)  (R & (~S)) & (R & R)  
0 0 |   1      0         0                     0                      
0 1 |   0      0         0                     0                      
1 0 |   1      1         1                     1                      
1 1 |   0      1         0                     0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #980
Q R | ~Q  ~R  ~Q  (~R) < (~Q)  (~Q) & ((~R) < (~Q))  
0 0 |   1   1   1            1                     1                      
0 1 |   1   0   1            0                     0                      
1 0 |   0   1   0            0                     0                      
1 1 |   0   0   0            1                     0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #981
P S | P > S  P > S  (P > S) < (P > S)  P > ((P > S) < (P > S))  (P > ((P > S) < (P > S))) & S  
0 0 |      1      1                  1                        1                              0                      
0 1 |      1      1                  1                        1                              1                      
1 0 |      0      0                  1                        1                              0                      
1 1 |      1      1                  1                        1                              1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #983
P R S | ~P  ~P  ~P  S & (~P)  (S & (~P)) v (~P)  ((S & (~P)) v (~P)) > (~P)  ~(((S & (~P)) v (~P)) > (~P))  (~(((S & (~P)) v (~P)) > (~P))) v R  
0 0 0 |   1   1   1         0                  1                           1                              0                                    0                        
0 0 1 |   1   1   1         1                  1                           1                              0                                    0                        
0 1 0 |   1   1   1         0                  1                           1                              0                                    1                        
0 1 1 |   1   1   1         1                  1                           1                              0                                    1                        
1 0 0 |   0   0   0         0                  0                           1                              0                                    0                        
1 0 1 |   0   0   0         0                  0                           1                              0                                    0                        
1 1 0 |   0   0   0         0                  0                           1                              0                                    1                        
1 1 1 |   0   0   0         0                  0                           1                              0                                    1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #982
S | S v S  (S v S) & S  
0 |      0            0                    
1 |      1            1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #984
P Q S | S v Q  P & Q  P & Q  Q > (P & Q)  Q > (P & Q)  (Q > (P & Q)) & (Q > (P & Q))  (S v Q) > ((Q > (P & Q)) & (Q > (P & Q)))  
0 0 0 |      0      0      0            1            1                              1                                          1                        
0 0 1 |      1      0      0            1            1                              1                                          1                        
0 1 0 |      1      0      0            0            0                              0                                          0                        
0 1 1 |      1      0      0            0            0                              0                                          0                        
1 0 0 |      0      0      0            1            1                              1                                          1                        
1 0 1 |      1      0      0            1            1                              1                                          1                        
1 1 0 |      1      1      1            1            1                              1                                          1                        
1 1 1 |      1      1      1            1            1                              1                                          1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #985
P R | P & R  (P & R) > R  
0 0 |      0            1                      
0 1 |      0            1                      
1 0 |      0            1                      
1 1 |      1            1                      
Sim, é satisfatível.
Sim, é tautologia.

Problema #986
Q R S | S > Q  S > Q  S > Q  (S > Q) & R  (S > Q) & R  ((S > Q) & R) < S  (S > Q) > ((S > Q) & R)  (((S > Q) & R) < S) & ((S > Q) > ((S > Q) & R))  
0 0 0 |      1      1      1            0            0                  1                        0                                                0                        
0 0 1 |      0      0      0            0            0                  0                        1                                                0                        
0 1 0 |      1      1      1            1            1                  0                        1                                                0                        
0 1 1 |      0      0      0            0            0                  0                        1                                                0                        
1 0 0 |      1      1      1            0            0                  1                        0                                                0                        
1 0 1 |      1      1      1            0            0                  0                        0                                                0                        
1 1 0 |      1      1      1            1            1                  0                        1                                                0                        
1 1 1 |      1      1      1            1            1                  1                        1                                                1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #987
Q R S | ~R  ~R  ~R  S > R  ~(S > R)  (~R) & (~R)  Q > (~(S > R))  S < (Q > (~(S > R)))  (~R) v (S < (Q > (~(S > R))))  ((~R) & (~R)) & ((~R) v (S < (Q > (~(S > R)))))  
0 0 0 |   1   1   1      1         0            1               1                     0                              1                                                1                        
0 0 1 |   1   1   1      0         1            1               1                     1                              1                                                1                        
0 1 0 |   0   0   0      1         0            0               1                     0                              0                                                0                        
0 1 1 |   0   0   0      1         0            0               1                     1                              1                                                0                        
1 0 0 |   1   1   1      1         0            1               0                     1                              1                                                1                        
1 0 1 |   1   1   1      0         1            1               1                     1                              1                                                1                        
1 1 0 |   0   0   0      1         0            0               0                     1                              1                                                0                        
1 1 1 |   0   0   0      1         0            0               0                     0                              0                                                0                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #989
P Q R | R & P  (R & P) & Q  Q v ((R & P) & Q)  
0 0 0 |      0            0                  0                        
0 0 1 |      0            0                  0                        
0 1 0 |      0            0                  1                        
0 1 1 |      0            0                  1                        
1 0 0 |      0            0                  0                        
1 0 1 |      1            0                  0                        
1 1 0 |      0            0                  1                        
1 1 1 |      1            1                  1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #988
Q | ~Q  
0 |   1                    
1 |   0                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #990
P S | ~P  ~P  ~P  (~P) & P  (~P) & P  S > (~P)  ~((~P) & P)  ((~P) & P) v (S > (~P))  (~((~P) & P)) > (((~P) & P) v (S > (~P)))  
0 0 |   1   1   1         0         0         1            1                        1                                          1                      
0 1 |   1   1   1         0         0         1            1                        1                                          1                      
1 0 |   0   0   0         0         0         1            1                        1                                          1                      
1 1 |   0   0   0         0         0         0            1                        0                                          0                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #991
P Q S | ~Q  ~Q  ~Q  (~Q) & (~Q)  ((~Q) & (~Q)) v S  P > (((~Q) & (~Q)) v S)  (P > (((~Q) & (~Q)) v S)) > Q  (~Q) > ((P > (((~Q) & (~Q)) v S)) > Q)  
0 0 0 |   1   1   1            1                  1                        1                              0                                       0                        
0 0 1 |   1   1   1            1                  1                        1                              0                                       0                        
0 1 0 |   0   0   0            0                  0                        1                              1                                       1                        
0 1 1 |   0   0   0            0                  1                        1                              1                                       1                        
1 0 0 |   1   1   1            1                  1                        1                              0                                       0                        
1 0 1 |   1   1   1            1                  1                        1                              0                                       0                        
1 1 0 |   0   0   0            0                  0                        0                              1                                       1                        
1 1 1 |   0   0   0            0                  1                        1                              1                                       1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #993
P Q S | S & Q  P v Q  S & Q  P v Q  (S & Q) & (P v Q)  (S & Q) & (P v Q)  ((S & Q) & (P v Q)) < Q  P > (((S & Q) & (P v Q)) < Q)  ((S & Q) & (P v Q)) v (P > (((S & Q) & (P v Q)) < Q))  
0 0 0 |      0      0      0      0                  0                  0                        1                              1                                                      1                        
0 0 1 |      0      0      0      0                  0                  0                        1                              1                                                      1                        
0 1 0 |      0      1      0      1                  0                  0                        0                              1                                                      1                        
0 1 1 |      1      1      1      1                  1                  1                        1                              1                                                      1                        
1 0 0 |      0      1      0      1                  0                  0                        1                              1                                                      1                        
1 0 1 |      0      1      0      1                  0                  0                        1                              1                                                      1                        
1 1 0 |      0      1      0      1                  0                  0                        0                              0                                                      0                        
1 1 1 |      1      1      1      1                  1                  1                        1                              1                                                      1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #992
P Q S | S < P  Q < (S < P)  
0 0 0 |      1            0                        
0 0 1 |      0            1                        
0 1 0 |      1            1                        
0 1 1 |      0            0                        
1 0 0 |      0            1                        
1 0 1 |      1            0                        
1 1 0 |      0            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #995
Q R S | R < R  S < Q  (R < R) v Q  Q < ((R < R) v Q)  (Q < ((R < R) v Q)) v (S < Q)  
0 0 0 |      1      1            1                  0                              1                        
0 0 1 |      1      0            1                  0                              0                        
0 1 0 |      1      1            1                  0                              1                        
0 1 1 |      1      0            1                  0                              0                        
1 0 0 |      1      0            1                  1                              1                        
1 0 1 |      1      1            1                  1                              1                        
1 1 0 |      1      0            1                  1                              1                        
1 1 1 |      1      1            1                  1                              1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #996
P S | P > P  P > P  S & (P > P)  (P > P) < (S & (P > P))  
0 0 |      1      1            0                        0                      
0 1 |      1      1            1                        1                      
1 0 |      1      1            0                        0                      
1 1 |      1      1            1                        1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #994
S | S > S  
0 |      1                    
1 |      1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #997
Q R S | Q & S  (Q & S) & R  
0 0 0 |      0            0                        
0 0 1 |      0            0                        
0 1 0 |      0            0                        
0 1 1 |      0            0                        
1 0 0 |      0            0                        
1 0 1 |      1            0                        
1 1 0 |      0            0                        
1 1 1 |      1            1                        
Sim, é satisfatível.
Não, não é tautologia.

Problema #978
P | ~P  ~(~P)  
0 |   1      0                    
1 |   0      1                    
Sim, é satisfatível.
Não, não é tautologia.

Problema #999
S | S > S  S > S  S > S  (S > S) < (S > S)  ((S > S) < (S > S)) < (S > S)  S > (((S > S) < (S > S)) < (S > S))  
0 |      1      1      1                  1                              1                                    1                    
1 |      1      1      1                  1                              1                                    1                    
Sim, é satisfatível.
Sim, é tautologia.

Problema #1000
P R | P v R  P v R  P v R  (P v R) < R  (P v R) > ((P v R) < R)  (P v R) & ((P v R) > ((P v R) < R))  
0 0 |       0      0      0            1                        1                                    0                      
0 1 |       1      1      1            1                        1                                    1                      
1 0 |       1      1      1            0                        0                                    0                      
1 1 |       1      1      1            1                        1                                    1                      
Sim, é satisfatível.
Não, não é tautologia.

Problema #998
P S | ~S  S & (~S)  P v (S & (~S))  
0 0 |   1         0               0                      
0 1 |   0         0               0                      
1 0 |   1         0               1                      
1 1 |   0         0               1                      
Sim, é satisfatível.
Não, não é tautologia.