primus-lab

# Author: Pedja 




print("                        ***** BHASKARA *****\n\n\n")
while True:
	
    
   

primus-lab

# Author: Pedja 




print("                        ***** PROTH *****\n\n\n")
while True:
	
    
   

primus-lab

'''
    This script was written in python 3.x.
    In order to run this script, please make sure your python version is 3.x or above.
    How to run:
        python LLRT.py
    or if it doesn't work use this one:
        python3 LLRT.py
    Author: Pedja Terzic <[email protected]>
'''
from sympy import *

primus-lab

"""
formula.py - propositional formulas for Python
by Robin Wellner
Hereby, I waive all rights to this library, as described at <http://creativecommons.org/publicdomain/zero/1.0/>
Examples:
foo = Atom('foo')
bar = Atom('bar')
disjuction = foo | bar
conjunction = foo & bar
implication = foo >> bar