Таблица истинности для функции C∧¬A∨(A∨¬B):
Промежуточные таблицы истинности:
¬B:
A∨(¬B):
¬A:
C∧(¬A):
(C∧(¬A))∨(A∨(¬B)):
Общая таблица истинности:
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:Fсднф = ¬C∧¬A∧¬B ∨ ¬C∧A∧¬B ∨ ¬C∧A∧B ∨ C∧¬A∧¬B ∨ C∧¬A∧B ∨ C∧A∧¬B ∨ C∧A∧B
Логическая cхема:
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:Fскнф = (C∨A∨¬B)
Логическая cхема: