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