Определить с помощью законов алгебры логики тип ФЛВ

@Тельман · Регистрация: 18.10.2013

Определить с помощью законов алгебры логики тип ФЛВ:
(x → y)→(¬y→¬x)

@Ellipsoid · 28.04.2014, 09:16

1) Что такое ФЛВ?
2) Для начала: $https://www.cyberforum.ru/cgi-bin/latex.cgi? X \to Y \simeq \bar{X} \vee Y$ .

@Тельман 0 / 0 / 0 Регистрация: 18.10.2013 Сообщений: 34
		1
	Определить с помощью законов алгебры логики тип ФЛВ 27.04.2014, 21:42. Показов 909. Ответов 1 Метки нет (Все метки) Определить с помощью законов алгебры логики тип ФЛВ: (x → y)→(¬y→¬x) 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	28.04.2014, 09:16	2
	1) Что такое ФЛВ? 2) Для начала: $https://www.cyberforum.ru/cgi-bin/latex.cgi? X \to Y \simeq \bar{X} \vee Y$ . 0

Опции темы