15 relaties: Booleaanse operator, Clausule (logica), Conjunctieve normaalvorm, Distributiviteit, DPLL-algoritme, Lineaire tijd, Literaal, Logica, Logische conjunctie, Logische equivalentie, Propositie, Recursie, Resolutie (logica), Vervulbaarheidsequivalentie, Wetten van De Morgan.
Booleaanse operator
Een booleaanse operator is een logische operator die vooral in de wiskunde en informatica wordt gebruikt.
Nieuw!!: Tseitin-transformatie en Booleaanse operator · Bekijk meer »
Clausule (logica)
In de logica is een clausule (in het Engels: clause) een eindige disjunctie van literalen, dus met de vorm met l_i voor 0 \leq i \leq n, een literaal.
Nieuw!!: Tseitin-transformatie en Clausule (logica) · Bekijk meer »
Conjunctieve normaalvorm
In de logica is een formule in conjunctieve normaalvorm (Eng. conjunctive normal form, CNF, ook wel afgekort als CNV) als die bestaat uit een conjunctie van disjuncties met literalen (ook een conjunctie van clausules genoemd).
Nieuw!!: Tseitin-transformatie en Conjunctieve normaalvorm · Bekijk meer »
Distributiviteit
In de wiskunde en in het bijzonder in de abstracte algebra is distributiviteit een eigenschap van binaire operaties, die de distributieve wet uit de elementaire algebra generaliseert.
Nieuw!!: Tseitin-transformatie en Distributiviteit · Bekijk meer »
DPLL-algoritme
Het DPLL-algoritme (Davis-Putnam-Logemann-Loveland algoritme) is een algoritme voor het onderzoeken van de vervulbaarheid van een propositie in conjunctieve normaalvorm (dit probleem is ook bekend als CNF-SAT).
Nieuw!!: Tseitin-transformatie en DPLL-algoritme · Bekijk meer »
Lineaire tijd
In de complexiteitstheorie kan een algoritme in lineaire tijd of O(n) uitgevoerd worden als de benodigde tijd lineair afhangt van de grootte van de invoer.
Nieuw!!: Tseitin-transformatie en Lineaire tijd · Bekijk meer »
Literaal
In de wiskundige logica is een literaal (Engels: literal) een atomaire formule (ook wel atoom genoemd) of de negatie ervan.
Nieuw!!: Tseitin-transformatie en Literaal · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Tseitin-transformatie en Logica · Bekijk meer »
Logische conjunctie
Venndiagram van de conjunctie - rood is waar In de wiskunde en de logica is logische conjunctie (symbool: \land, &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.
Nieuw!!: Tseitin-transformatie en Logische conjunctie · Bekijk meer »
Logische equivalentie
In de logica zijn twee uitspraken logisch equivalent als zij dezelfde logische betekenis hebben.
Nieuw!!: Tseitin-transformatie en Logische equivalentie · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Tseitin-transformatie en Propositie · Bekijk meer »
Recursie
Recursie (Latijn: recurrere, 'teruglopen') is het optreden van een opeenvolging van constructies waarvan elk afzonderlijk gebaseerd is op een of meer soortgelijke voorgaande constructies.
Nieuw!!: Tseitin-transformatie en Recursie · Bekijk meer »
Resolutie (logica)
In de wiskundige logica en bij automatisch stellingbewijzen is resolutie een afleidingsregel die gebruikt wordt voor bewijzen uit het ongerijmde van zinnen in de propositie- en predicatenlogica.
Nieuw!!: Tseitin-transformatie en Resolutie (logica) · Bekijk meer »
Vervulbaarheidsequivalentie
In de klassieke logica zijn twee proposities vervulbaarheidsequivalent als er voor beide wel (of niet) een toekenning van waar of onwaar aan de atomaire formules bestaat waardoor de proposities waar zijn (dit wordt ook wel het vervullen van een formule of propositie genoemd).
Nieuw!!: Tseitin-transformatie en Vervulbaarheidsequivalentie · Bekijk meer »
Wetten van De Morgan
De wetten van De Morgan, of regels van De Morgan, zijn twee wetten in de formele logica die een verband leggen tussen de beide logische operatoren EN en OF en de negatie.
Nieuw!!: Tseitin-transformatie en Wetten van De Morgan · Bekijk meer »
Richt hier:
Tseitin afgeleide, Tseitin transformatie, Tseitin-afgeleide.