A system, comprising: one or more processors; and memory that stores computer-executable instructions that, if executed, cause the system to: determine a first propositional logic based at least in part on a first set of security permissions; determine a second propositional logic based at least in part on a second set of security permissions; determine the first propositional logic and the second propositional logic lack equivalency using the first propositional logic and the second propositional logic; and provide an indication to a requestor that the first set of security permissions and the second set of security permissions lack equivalency; wherein the computer-executable instructions that determine the first propositional logic and the second propositional logic lack equivalency further comprise computer executable instructions that, if executed, cause the system to: generate a first set of constraints corresponding to access grants of the first set of security permissions; and generate a second set of constraints corresponding to access denials of the first set of security permissions. one or more processors; and memory that stores computer-executable instructions that, if executed, cause the system to: determine a first propositional logic based at least in part on a first set of security permissions; determine a second propositional logic based at least in part on a second set of security permissions; determine the first propositional logic and the second propositional logic lack equivalency using the first propositional logic and the second propositional logic; and provide an indication to a requestor that the first set of security permissions and the second set of security permissions lack equivalency; wherein the computer-executable instructions that determine the first propositional logic and the second propositional logic lack equivalency further comprise computer executable instructions that, if executed, cause the system to: generate a first set of constraints corresponding to access grants of the first set of security permissions; and generate a second set of constraints corresponding to access denials of the first set of security permissions. determine a first propositional logic based at least in part on a first set of security permissions; determine a second propositional logic based at least in part on a second set of security permissions; determine the first propositional logic and the second propositional logic lack equivalency using the first propositional logic and the second propositional logic; and provide an indication to a requestor that the first set of security permissions and the second set of security permissions lack equivalency; wherein the computer-executable instructions that determine the first propositional logic and the second propositional logic lack equivalency further comprise computer executable instructions that, if executed, cause the system to: generate a first set of constraints corresponding to access grants of the first set of security permissions; and generate a second set of constraints corresponding to access denials of the first set of security permissions. generate a first set of constraints corresponding to access grants of the first set of security permissions; and generate a second set of constraints corresponding to access denials of the first set of security permissions.