Boolesche Funktion auswerten

Hallo Forum,

wie mache ich aus dieser Funktion einen Booleschen Ausdruck?
(A->(-B)) <-+-> C

Vermutlich ist mit <-> die Äquivalenz <=> gemeint. Aber was meint es wenn der Strich in der Mitte durchgestrichen ist?

A->(-B) wird zu -B+-A
und aus A<=>B kann man "A => B und B => A" machen.

Vielen Dank

Luigi

Luigi_X schrieb:

Vermutlich ist mit <-> die Äquivalenz <=> gemeint. Aber was meint es wenn der Strich in der Mitte durchgestrichen ist?

ich schätze damit ist das gegenteil gemeint (antivalenz, negierte äquivalenz), der output ist nur 'true', wenn beide inputs unterschiedlich sind (wie bei XOR).

Stimmt Fricky, das macht mehr Sinn. Vielen Dank