Это знаки для обозначения логических операций: a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция логическое умножение, логическое И) обозначается /\ (например, А /\ В) либо & (например, А & В);
c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается \/ (например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование (импликация) обозначается → (например, А → В);
e) тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).
end_num = 79 for n in 1..5 for i in 0..2**n-1 s = ("000000000000000000000000000000" + i.to_s(2))[-n..-1] start_num = 7 log = start_num.to_s for k in 0..s.size-1
start_num, log = f0(start_num, log) if s[k] == "0" start_num, log = f1(start_num, log) if s[k] == "1" # break if start_num > end_num end # p [start_num, log, s, n] if start_num == end_num then log += " = " + end_num.to_s p log end end end
a) отрицание
(инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция
логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);
c) дизъюнкция
(логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование
(импликация) обозначается → (например, А → В);
e) тождество
обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).