Semafor je rozbitý: Semafor není rozbitý:
Červené světlo svítí: Červené světlo nesvítí:
Svítí aspoň dvě světla: Negace:
Svítí aspoň dvě světla: Negace – Svítí nejvýše jedno světlo:
Nějaké světlo svítí: Negace:
Nějaké světlo svítí: Negace – Žádné světlo nesvítí:
Nějaké světlo nesvítí: Negace:
Nějaké světlo nesvítí: Negace – Všechna světla svítí:
Svítí červené a oranžové světlo: Negace:
Svítí červené nebo oranžové světlo: Negace:
Buď svítí červené světlo, nebo oranžové: Negace:
Jestliže svítí červené světlo, potom svítí i oranžové: Negace:
Červené světlo svítí právě tehdy, když svítí oranžové: Negace:
Svítí červené světlo nebo svítí oranžové světlo: Negace – Nesvítí červené světlo a nesvítí oranžové světlo:
Svítí červené světlo a svítí oranžové světlo: Negace – Nesvítí červené světlo nebo nesvítí oranžové světlo:
Jestliže svítí červené světlo, potom svítí oranžové světlo: Negace – Svítí červené světlo a nesvítí oranžové světlo:
Červené světlo svítí právě tehdy, když svítí oranžové světlo: Negace – Buď svítí červené světlo, nebo svítí oranžové světlo: