| dbo:description
|
- Normalform einer aussagenlogischen Formel (de)
- concept in Boolean logic (en)
- käsite logiikassa (fi)
- congiunzione di clausole, dove le clausole sono una disgiunzione di letterali (it)
- normalizacija logičnega izraza, ki je zveza klavzul, z drugimi besedami zveza disjunkcij literalov (sl)
- normalisation d'une expression logique qui est une conjonction de clauses, autrement dit une conjonction de disjonction de littéraux (fr)
|