Знати все сузір'я на небі можуть тільки професіонали, що працюють в цьому напрямку, а ось бачити найпопулярніші, можна навчитися і нам. Це не тільки романтично, але і захоплююче.
Найвідоміше сузір'я є, звичайно, Велика Ведмедиця (Ursa Major). Напевно всі знають, що вона являє собою сузір'я у вигляді ковша, його не складно побачити неозброєним оком. А ось з Малої Ведмедицею (Ursa Minor) справи йдуть трохи складніше, але не неможливі. Проведіть пряму лінію від зовнішньої стінки ковша Великої Ведмедиці до полярної зірки - це буде початок «ручки» ковша Малої Ведмедиці.
Так як полярна зірка знаходиться в нерухомому стані, знайти її не складе особливих труднощів. А далі, якщо зверніть погляд трохи лівіше, то виявите весь контур маленького ковша.Найбільш вражаюче сузір'я, на погляд багатьох вчених, є Дракон (Draco). Знайти його теж не складно, варто лише знайти неправильний чотирикутник між Великою і Малою Ведмедицею - це буде Голова Дракона, а дві зірки, які відрізняються від інших яскравістю (y і b) - його очі.
1) (0 ∧ Y) ∧ (X ≡ Z)
2) (1 ∧ Y) ∧ (X ≡ Z)
3) (0 ∨ ¬Z) ∧ (X ≡ Y)
4) (¬1 ∧ Y) ∧ (X ≡ Z)
Объяснение:1. Заметим, что первый вариант дает в результате 0 во всех случаях, так как конъюнкция ложна, если ложен хотя бы один из её аргументов, а это не соответствует значениям F.
2. Выражение в варианте 2, как и в варианте 4, принимает ложные значения, если X не эквивалентно Z, а значит, по первой и третьей строчке и 2, и 4 вариант удовлетворяют F.
3. Остается сравнить их по второй строке, в которой F – истинно. В этой строке X=0, Y=1, Z=0, значит, выражение в варианте 2 здесь истинно.
4. Так как значения F и значения функции в варианте 2 сошлись по всем трем строкам, вариант 2 является ответом к данной задаче.