307 B
307 B
| 1 | let p be "system role has permission" | let q be "is group member" | let r be "group role has permission" | "permission granted" = p ∨ (q ∧ r) |
|---|---|---|---|---|
| 2 | TRUE | TRUE | TRUE | TRUE |
| 3 | TRUE | TRUE | FALSE | TRUE |
| 4 | TRUE | FALSE | TRUE | TRUE |
| 5 | TRUE | FALSE | FALSE | TRUE |
| 6 | FALSE | TRUE | TRUE | TRUE |
| 7 | FALSE | TRUE | FALSE | FALSE |
| 8 | FALSE | FALSE | TRUE | FALSE |