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