Space S000001
Also known as:
Id | If | Then |
---|---|---|
T41 | ¬ | |
T51 | ||
T72 | ||
T76 | ||
T94 | ∧ | ¬ |
T96 | ||
T111 | ∧ | |
T131 | ∧ | |
T139 | ||
T157 | ||
T190 | ||
T233 | ∧ | |
T248 | ¬ | |
T250 | ¬ | |
T251 | ||
T275 | ∧ ∧ | |
T313 | ||
T349 | ||
T426 | ∧ | |
T428 | ||
T446 | ¬ | |
T447 | ||
T448 | ||
T449 | ∧ | |
T450 | ||
T454 | ||
T481 | ||
T482 | ||
T498 | ∧ | |
T522 | ∧ | |
T523 | ∧ | |
T536 | ∧ | |
T547 | ||
T549 | ||
T550 | ∧ | |
T553 | ||
T554 | ∧ ∧ ∧ | |
T555 | ∧ ∧ | ¬ |
T566 | ||
T567 | ∧ | |
T568 | ∧ | |
T572 | ||
T573 | ||
T574 | ||
T575 | ||
T584 | ¬ | |
T592 | ||
T599 | ||
T600 | ||
T609 | ∧ ∧ | |
T613 | ||
T617 | ||
T619 | ∧ | |
T620 | ¬ |