I can\'t find a proper formula for this considering it\'s almost exclusively made up of implications. Can somebody help me?
