boolesche Funktionen vergleichen

[Stoni1001]

Hallo,

Ich habe eine Problemstellung, die ich im Moment nicht lösen kann, ich hoffe es kann mir hier wer weiterhelfen..

Generell hab ich 2 boolesche Ausdrücke gegeben. beide Ausdrücke können bis zu 2 variablen beinhalten, deren werte ich nicht kenne.
für die Variablen dürfen nur positive ganzzahlige werte eingesetzt werden.

Beispiel 1:

Ausdruck 1: a=0
Ausdruck 2: a+b>1,5

Ich muss jetzt herausfinden ob es für die Variablen werte gibt, damit beide Ausdrücke der Wahrheit entsprechen.
Die Werte sind für mich jedoch nicht relevant. Ich muss einfach herausfinden, ob sich die 2 Ausdrücke nicht logisch gegenseitig ausschließen.

Beispiel 1:

Ergebnis: true
Werte(a=0,b=2,b=3,b=4 ...)


Beispiel 2:

Ausdruck 1: (a+b > 1,5)
Ausdruck 2: (a=0 and b=0)

Ergebnis: false
Ausruck 2 schränkt bereits auf die Werte (a=0,b=0) ein, somit kann der 1. Ausdruck nie true zurück liefern.

Ich hoff meine Problemstellung ist soweit gut verständlich. Bin für jede Anregung offen.
danke