Информатика · ҰБТ сұрағы №14881

Қай логикалық эквиваленттіліктер A, B, C айнымалыларының барлық мәндерінде дұрыс?

Бір немесе бірнеше дұрыс жауап

Дұрыс жауабы мен түсіндірмесі

Жауабы: (A → C) ∨ (B → C) ≡ (A ∧ B) → C; A → (B → C) ≡ (A ∧ B) → C; (A → B) ∧ (A → C) ≡ A → (B ∧ C)

(A→C)∨(B→C) = ¬A∨¬B∨C = (A∧B)→C; A→(B→C) = ¬A∨¬B∨C; (A→B)∧(A→C) = ¬A∨(B∧C). Ал (A→C)∧(B→C) = (A∨B)→C, ¬(A→B) = A∧¬B.

«Компьютердің логикалық негіздері» тақырыбынан тағы