partial_evaluation.py

#! /usr/bin/python3
# ==================================================================
# test Partial Evaluation of Expressions
# ==================================================================

def AF():
    print('AF')
    return False

def AT():
    print('AT')
    return True

def BF():
    print('BF')
    return False
  
def BT():
    print('BT')
    return True

def CF():
    print('CF')
    return False

def CT():
    print('CT')
    return True

def DF():
    print('DF')
    return False

def DT():
    print('DT')
    return True


print()
print('---- Python3 Tests ---------------')

print()
print('Test: AF() and BT() and CT() and DT()')
print(AF() and BT() and CT() and DT())
print()
print('Test: AT() and BF() and CT() and DT()')
print(AT() and BF() and CT() and DT())
print()
print('Test: AT() and BT() and CF() and DT()')
print(AT() and BT() and CF() and DT())

print()
print('Test: AT() or BF() or CF() or DF()')
print(AT() or BF() or CF() or DF())
print()
print('Test: AF() or BT() or CF() or DF()')
print(AF() or BT() or CF() or DF())
print()
print('Test: AF() or BF() or CT() or DF()')
print(AF() or BF() or CT() or DF())

print()
print('Test: AT() and BF() or CF() and DF()')
print(AT() and BF() or CF() and DF())
print()
print('Test: AT() or BF() and CF() or DF()')
print(AT() or BF() and CF() or DF())