/media/sda-magnetic/david/Extern-Magnetic-2022-06-29/Extern01/Dokumente-11-2021-07-05/informatik-math/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