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 . <EOS>