Property P000003
Also known as: ,
| Id | If | Then |
|---|---|---|
| T26 | ∧ | |
| T28 | ∧ ∧ | |
| T31 | ∧ ∧ | |
| T32 | ||
| T45 | ∧ | |
| T50 | ∧ | |
| T118 | ||
| T127 | ∧ ∧ ∧ | |
| T145 | ∧ | |
| T179 | ∧ ∧ | |
| T193 | ||
| T196 | ∧ | |
| T228 | ||
| T230 | ∧ | |
| T269 | ∧ ∧ | |
| T281 | ||
| T283 | ∧ | |
| T310 | ||
| T333 | ||
| T395 | ∧ ∧ | |
| T405 | ∧ ∧ | |
| T420 | ||
| T423 | ∧ | |
| T458 | ||
| T476 | ∧ ∧ | |
| T480 | ∧ ∧ | |
| T481 | ||
| T486 | ∧ ∧ ∧ | |
| T503 | ∧ ∧ | |
| T529 | ∧ ∧ | |
| T533 | ∧ ∧ | |
| T540 | ∧ | |
| T577 | ∧ ∧ ¬ | |
| T582 | ∧ ∧ | |
| T684 | ∧ ∧ | |
| T691 | ∧ ∧ ∧ | |
| T724 | ∧ ∧ | |
| T743 | ∧ ∧ | |
| T753 | ∧ ∧ | |
| T758 | ∧ ∧ |