hello there | Python Fiddle

from itertools import product

vals = list(product((True,False),(True,False)))
all_assigns = [{'p': x, 'q': y} for x, y in vals]

def evaluate(f, assign):
    if f.startswith('~'):
        return not assign[f[1]]
    if '&' in f:
        f1, f2 = f.split('&')
        return assign[f1] and assign[f2]
    if 'v' in f:
        f1, f2 = f.split('v')
        return assign[f1] or assign[f2]
    if '=' in f:
        f1, f2 = f.split('=')
        return assign[f1] == assign[f2]
    if '>' in f:
        f1, f2 = f.split('>')
        return assign[f2] or not assign[f1]
    return assign[f]

def closer_to_than(x, y, dest):
    for a in all_assigns:
        for b1 in all_assigns:
            if evaluate(x, b1) == evaluate(x, a):
                found = any((evaluate(y, a) == evaluate(y, b2)) and (evaluate(dest, b1) == evaluate(dest, b2)) for b2 in all_assigns)
                if not found:
                    return False
    return True

if __name__ == '__main__':
    print closer_to_than('~p', 'q', 'p')

Browser Version Not Supported

Due to Python Fiddle's reliance on advanced JavaScript techniques, older browsers might have problems running it correctly. Please download the latest version of your favourite browser.
Chrome 10+ Firefox 4+ Safari 5+
IE 10+

Let me try anyway!

Python Fiddle

Python Cloud IDE