Частина тексту файла (без зображень, графіків і формул):
Лабораторна робота № 5. Побудова істиннісних таблиць.
Завдання.
Побудувати істиннісну таблицю для виразу з проміжними кроками (атоми p,q,s).
1. (p -> q) or (s -> q)
2. (p -> q) and (not s -> q)
3. (p -> q) ~ (s -> q)
4. (p -> q) -> (not s -> q)
5. (p ~ q) or (s -> q)
6. (p ~ q) and (not s -> q)
7. (p ~ q) ~ (s -> q)
8. (p ~ q) -> (not s -> q)
9. (p and q) or (s -> q)
10. (p or q) and (not s -> q)
11. (p and q) ~ (s -> q)
12. (p or q) -> (not s -> q)
13. (not p -> q) or (s ~ q)
14. (not p -> q) and (not s ~ q)
15. (not p -> q) ~ (s ~ q)
16. (not p -> q) -> (not s ~ q)
У Pascal наявні наступні логічні операції:
- логічне не NOT (x)
- логічне і (x) AND (y)
- логічне або (x) OR (y)
- логічне виключаюче або (x) XOR (y)
Приклад:
p q not p not p~q … (not p ~ not q) ~ (p~q)
1 1 0 0 … 1
1 0 0 1 … 1
0 1 1 1 … 1
0 0 1 0 … 1
Var
X: Boolean;
Begin
X := true;
…….
Write(x, ‘ ’, not(x), ‘………..’);
……
End.
Ви не можете залишити коментар. Для цього, будь ласка, увійдіть
або зареєструйтесь.
Ділись своїми роботами та отримуй миттєві бонуси!
Маєш корисні навчальні матеріали, які припадають пилом на твоєму комп'ютері? Розрахункові, лабораторні, практичні чи контрольні роботи — завантажуй їх прямо зараз і одразу отримуй бали на свій рахунок! Заархівуй всі файли в один .zip (до 100 МБ) або завантажуй кожен файл окремо. Внесок у спільноту – це легкий спосіб допомогти іншим та отримати додаткові можливості на сайті. Твої старі роботи можуть приносити тобі нові нагороди!