Anticoincidence operation
Anti-coïncidentiebewerking Een logische bewerking, die de eigenschap heeft dat indien P en Q beweringen zijn, P non-equivalent is aan Q als maar één van beide beweringen waar is en P niet non-equivalent is aan Q als beide beweringen waar of onwaar zijn.
