Property P000057
Also known as: ,
| Id | If | Then |
|---|---|---|
| T22 | ∧ | |
| T67 | ||
| T74 | ||
| T187 | ||
| T191 | ¬ | |
| T212 | ∧ | |
| T238 | ||
| T259 | ||
| T261 | ∧ | |
| T263 | ∧ | |
| T291 | ∧ | |
| T297 | ||
| T302 | ∧ ∧ | |
| T304 | ∧ | |
| T319 | ∧ ¬ ∧ | |
| T341 | ||
| T363 | ∧ | |
| T406 | ∧ | |
| T417 | ∧ | |
| T439 | ∧ | |
| T454 | ||
| T456 | ∧ ¬ | |
| T487 | ∧ ∧ ¬ | ¬ |
| T493 | ∧ | |
| T495 | ∧ | |
| T499 | ∧ | |
| T508 | ∧ ∧ ∧ | |
| T551 | ∧ ∧ ¬ | |
| T557 | ∧ ∧ | |
| T559 | ∧ | |
| T567 | ∧ | |
| T718 | ∧ | |
| T731 | ∧ | |
| T758 | ∧ ∧ | |
| T799 | ∧ | |
| T801 | ∧ ∧ |