Property P000002
Also known as: ,
| Id | If | Then |
|---|---|---|
| T19 | ∧ | |
| T42 | ||
| T43 | ∧ | |
| T49 | ||
| T70 | ||
| T98 | ||
| T99 | ∧ | |
| T100 | ||
| T101 | ∧ | |
| T104 | ||
| T105 | ∧ | |
| T118 | ||
| T119 | ||
| T152 | ||
| T153 | ∧ | |
| T195 | ||
| T221 | ||
| T226 | ||
| T267 | ∧ | |
| T280 | ∧ | |
| T287 | ||
| T288 | ∧ | |
| T311 | ||
| T318 | ∧ | |
| T319 | ∧ ¬ ∧ | |
| T322 | ∧ ∧ | |
| T363 | ∧ | |
| T374 | ∧ ∧ | |
| T402 | ∧ | |
| T413 | ∧ | |
| T415 | ∧ | |
| T419 | ||
| T421 | ∧ | |
| T426 | ∧ | |
| T500 | ||
| T501 | ∧ | |
| T502 | ∧ | |
| T530 | ∧ | |
| T607 | ∧ | |
| T625 | ||
| T630 | ∧ ¬ | |
| T633 | ∧ | |
| T643 | ∧ ∧ | |
| T674 | ∧ | |
| T705 | ||
| T706 | ||
| T718 | ∧ | |
| T779 | ||
| T790 | ∧ | |
| T792 | ∧ ∧ |