Условная дизъюнкция — тернарная (имеющая 3 операнда) логическая операция, введенная Алонзо Чёрчем. Результат условной дизъюнкции аналогичен результату...
4 KB (201 words) - 01:51, 20 May 2024
операндом. Аналогом тернарной условной операции в математической логике и булевой алгебре является условная дизъюнкция, которая записывается в виде [...
18 KB (1,315 words) - 17:27, 11 December 2023
дизъюнкция (логи́ческое «ИЛИ», логи́ческое сложе́ние или просто «ИЛИ»). При этом результат равен наибольшему операнду. В булевой алгебре дизъюнкция —...
21 KB (1,283 words) - 21:49, 14 August 2023
Конъюнкция: AND, И, &, && Дизъюнкция: OR, ИЛИ, |, || Исключающее «или»: XOR, ^, ~ Идентичность Отрицание Конъюнкция Дизъюнкция Импликация Обратная импликация...
14 KB (322 words) - 02:00, 29 August 2024
Идентичность Отрицание Конъюнкция Дизъюнкция Эквиваленция Исключающее или Импликация Обратная импликация Штрих Шеффера Условная дизъюнкция Таблица истинности Закон...
14 KB (926 words) - 10:49, 13 April 2024
первого операнда. Смешанное векторное произведение. Тернарное сложение по модулю 2 в полных сумматорах (с учётом разряда переноса). Условная дизъюнкция....
896 bytes (53 words) - 09:13, 28 April 2024
форма (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём...
55 KB (3,400 words) - 13:55, 10 September 2024
Суждение (redirect from Условное суждение)
Подобно простым разделительным суждениям, они бывают: нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»)...
20 KB (1,320 words) - 09:32, 13 July 2024
самое, что «Мэри родила ребёнка и вышла замуж». Идентичность Отрицание Дизъюнкция Эквиваленция Исключающее или Импликация Обратная импликация Штрих Шеффера...
24 KB (1,541 words) - 16:49, 29 March 2024
φ Nφ negacja Конъюнкция φ ∧ {\displaystyle \wedge } ψ Kφψ koniunkcja Дизъюнкция φ ∨ {\displaystyle \lor } ψ Aφψ alternatywa Импликация φ → {\displaystyle...
15 KB (974 words) - 03:08, 14 September 2024
союз или, когда он выступает в соединительно-разделительном значении (дизъюнкция); ∨ ˙ {\displaystyle {\dot {\vee }}} , ∨ ∨ {\displaystyle \vee \vee }...
18 KB (1,045 words) - 00:55, 6 September 2024