knasi_ist_wahrsager = False
knesi_ist_wahrsager = True
knosi_ist_wahrsager = False

knasis_aussage = knasi_ist_wahrsager && not knasi_ist_wahrsager && not knesi_ist_wahrsager && not knosi_ist_wahrsager
knesis_aussage = knesi_ist_wahrsager && (not knasi_ist_wahrsager && not knesi_ist_wahrsager && knosi_ist_wahrsager || (not knasi_ist_wahrsager && knesi_ist_wahrsager && not knosi_ist_wahrsager) || (knasi_ist_wahrsager && not knesi_ist_wahrsager && not knosi_ist_wahrsager))

beide_aussagen = knasis_aussage && knesis_aussage