Частина тексту файла (без зображень, графіків і формул):
Лабораторна робота № 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.