Property P000002
or ,
Id | If | Then |
---|---|---|
T19 | ∧ | |
T42 | ||
T43 | ∧ | |
T49 | ||
T70 | ||
T98 | ||
T99 | ∧ | |
T100 | ||
T101 | ∧ | |
T104 | ||
T105 | ∧ | |
T118 | ||
T119 | ||
T152 | ||
T153 | ∧ | |
T195 | ||
T221 | ||
T226 | ||
T261 | ∧ | |
T267 | ∧ | |
T280 | ∧ | |
T287 | ||
T288 | ∧ | |
T292 | ∧ ∧ | |
T311 | ||
T318 | ∧ | |
T319 | ∧ ¬ ∧ | |
T322 | ∧ ∧ | |
T363 | ∧ | |
T374 | ∧ ∧ | |
T381 | ∧ | |
T397 | ∧ ∧ | |
T399 | ∧ ∧ | |
T402 | ∧ | |
T413 | ∧ | |
T415 | ∧ | |
T419 | ||
T421 | ∧ | |
T426 | ∧ | |
T500 | ||
T501 | ∧ | |
T502 | ∧ |