Ar frazenn-se a glot gant ar framm " If P then Q ", pe c'hoazh dindan ur stumm all : " Not both P and not-Q ", rak ar pezh ne c'heller ket kaout eo P ( gelver ar c'hi) ha nann-Q ( ar c'hi o chom hep dont. ) war un dro.