HUMIT1750 - Høst 2005

Detailed truth table of ,,(P v Q) & (R => P) & ~ (P & Q ) => (R => ~Q) ''

  P Q R  |  (((P v Q) & (R -> P)) & ~(P & Q)) -> (R -> ~Q)
  -------+------------------------------------------------
  1 1 1  |       1    1     1     0 0   1     *1     0 0  
  1 1 0  |       1    1     1     0 0   1     *1     1 0  
  1 0 1  |       1    1     1     1 1   0     *1     1 1  
  1 0 0  |       1    1     1     1 1   0     *1     1 1  
  0 1 1  |       1    0     0     0 1   0     *1     0 0  
  0 1 0  |       1    1     1     1 1   0     *1     1 0  
  0 0 1  |       0    0     0     0 1   0     *1     1 1  
  0 0 0  |       0    0     1     0 1   0     *1     1 1

CPU time: 0.00s user, 0.00s system. 117 major page faults.

Back to the form / Back to the main page / My homepage / Questionaire