Сложное суждение со всеми союзами

Полная таблица истинности

Используя логические союзы «и», «или», «если…, то…», «тогда и только тогда…, когда…», составим рассуждение:

_ _ _

[(b v c) a] ^ [(b v c) = a ]*,

где а – литературное произведение издано и охраняется авторским правом;

b – автор может разрешать другим лицам использовать результат интеллектуальной деятельности;

с – автор может запрещать другим лицам использовать результат интеллектуальной деятельности.

Составляем полную таблицу истинности:

№ п/п							(b v c)	_ _ (b v c)	[(b v c) a]	_ _ _ [(b v c) = a ]	*
	И	И	И	Л	Л	Л	И	Л	И	И	И
	И	И	Л	Л	Л	И	И	И	И	Л	Л
	И	Л	И	Л	И	Л	И	И	И	Л	Л
	И	Л	Л	Л	И	И	Л	И	Л	Л	Л
	Л	И	И	И	Л	Л	И	Л	И	Л	Л
	Л	И	Л	И	Л	И	И	И	И	И	И
	Л	Л	И	И	И	Л	И	И	И	И	И
	Л	Л	Л	И	И	И	Л	И	И	И	И

Вывод: таким образом, данное суждение имеет восемь вариантов ответов, где только 4 являются истиной. Это те варианты, где учитывается только одно основание (разрешение или запрещение правообладателя использовать результат интеллектуальной деятельности), т.е. соблюдаются правила деления по одному основанию.