/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-01/cs-aufgaben-ws-2021/aufg2.txt

a = (x and b)
b = (a and not x) or (b and x)
c = (b and not x) or (a and x) or (c and not x)
y = a or c or (b and not x)

c b a x       c b a y