1.6 Логикалық функцияларды таныстыру тәсілдері
Функцияның аналитикалық өрнегін ақиқат кестесінен құрауға болады. Осы процессті формальдау үшін кейбір ұғымдарды енгізү керек.
Элементар (қарапайым) конъюнкция ондағы әрбір терістеумен айнымалы немесе терістеусіз бірден көп емес кезігетін болып табылады. Айнымалылар тобының терістеуі болмайды.
Мысалы:
, ,
Элементар (қарапайым) дизъюнкция ондағы әрбір терістеумен айнымалы немесе терістеусіз бірден көп емес кезігетін болып табылады. Айнымалылар тобының терістеуі болмайды.
Мысалы:
,
Достарыңызбен бөлісу: |