Exklusives Oder

#Definition #Studium #Informatik #Logik

Es können beliebige Aussagenlogiken definiert werden.
Exklusives Oder intuitiv: $(φ \oplus ψ)$ bedeutet "entweder $φ$ oder $ψ$ ".

$[[φ]]^{β}$	$[[ψ]]^{β}$	$[[φ \oplus ψ]]^{β}$
$0$	$0$	$0$
$0$	$1$	$1$
$1$	$0$	$1$
$1$	$1$	$0$