Klauzula dualna

Z testwiki
Wersja z dnia 00:30, 11 lis 2017 autorstwa imported>Argothiel
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacji Przejdź do wyszukiwania

Szablon:Dopracować Klauzula dualna (Szablon:Ang.) – koniunkcja skończonego zbioru literałów. Jest ona prawdziwa wtedy i tylko wtedy, gdy każdy z literałów jest prawdziwy. Klauzulę dualną pustą uznaje się za zawsze prawdziwą.

Na przykład klauzula dualna ⋀{p, ¬r, q} jest prawdziwa, gdy każde z wyrażeń p, ¬r, q ma wartość logiczną 1.

Zobacz też

Bibliografia

Szablon:Cytuj książkę

Źródło: „https://pl.wiki.beta.math.wmflabs.org/w/index.php?title=Klauzula_dualna&oldid=344”