Loogikafunktsiooni implikant
Loogikafunktsiooni implikant Lihtimplikant Taandatud DNK Taandatud DNK (TaDNK) on funktsiooni kõikide lihtimplikantide
disjunktsioon.
Mõistel IMPLIKANT pole mingit seost loogikatehtega implikatsioon. Eelmise näitefunktsiooni Taandatud DNK esitub Karnaugh' kaardil :
Ü
Loogikafunktsiooni implikandiks nimetatakse tema 1-de piirkonna
x 2 x3
T
mistahes intervalli ( ehk tema igat "ühtede intervalli" ).
x 1 00 01 11 10
T
( meenutame : intervall on kindlate omadustega 2ndvektorite hulk )
...