Unknown, what is the function you are using that takes pairs of logical statements as arguments and outputs their simplicity ordering?
Unknown, what is the function you are using that takes pairs of logical statements as arguments and outputs their simplicity ordering?