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

Логикалық өрнектер туралы қай тұжырымдар дұрыс?

Бір немесе бірнеше дұрыс жауап
Дұрыс жауабы мен түсіндірмесі
Жауабы: ≠g(A vee B) equiv ≠g A wedge ≠g B; A → B equiv ≠g A vee B; (A oplus B) oplus B equiv A

Де Морган: ¬(A∧B) = ¬A∨¬B (¬A∧¬B емес). Импликация коммутативті емес: (1,0) және (0,1) жиынтықтарында B→A мен A→B әртүрлі.

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