Python 3. Lecture No. 2

Time code: Algebra Logiki, Type bool, design if

1:16 Truth, Lies

5:53 atomar/convoy statements

6:17 Logic operations:

(1) Not A (!A) - Inversion(s) (2) A and B - Conjunction 3) A or B - Diet

7:04 (4) A-Part B (A = section B) - Impliation (effect)

8:45 5) A verbal vent B (A duct=primary B, A = V) - equivalence

9:27 truth = 1, lie = 0

10:02 function from logical variable f(x)

14:03 Story tables

15:17 A physical variable function (yes and natural) is not possible

19:33 x * (x and )

20:30 x + (x or)

22:57 (6) xOR / excluding or, decomposition of module 2, anti-equivalence

24:04 x - municipal

30:45 x = y

31:07 x=

31:54 There are different systems of simple operations that can be expressed by any logical statement.

The "and, or not" system is enough to record any speech.

Visual normal form - traditional form of recording any logical function

40:42 Laws of the Algebra of Logistics:

40:47 - interaction with constants: 0 + x = x, 1 + x = 1, 0 * x = 0, 1 * x = x

41:40 - Simple: - (1) Repeat Act: A * A = A, A + A = A

42:39 - 2) third line law: A +!A = 1, A *A = 0

43:38 - 3) Law of absorption: A * (A + B) = A, A + (A * B) = A

44:32 The "and" and "or" logs:

44:47 Associatedness: (A *B) * C = A * (B * C) = A * C

46:05.

46:27. distributiveness: A * (B + C) = A * V + A * C, A + (B * C) = A + B * C = (A + B) * (A + C)

51:17 - the laws of denial and "or"!

53:03 - Dual Denial Law:!

53:31 Conjunctive Normal Form: A - V = AA + B, (A = B) = A * V + A +!A +!B

55:12 choice design. It's a wake-up. Logical functions

55:28 bool type (logic). False, True

56:14 Log operations: and, or, not

56:50 follow-up check


Oct 13, 2017-2018 Algorithms and data structures for Python 3
Practice: http://judge.mipt.ru/mipt_cs_on_python3/
Telegram-group: https://t.me/tkhirianov_mipt_cs_on_py. ♪
Sponsor: https://www.patreon.com/tkhirianov or https://www.paypal.me/tkhirianov

Course: Information. Data algorithms and structures for Python 3.
read 12.09.2017
Lecturer: Hirjanov Timofei Fedorovich

Subjects considered in lecture No. 2:
♪ The bases of the logic algebra.
♪ Tables of truth and logical laws.
- A dynamic normal form.
- Type of bool data. True, False. Python logic.
♪ Check of sequence for number x%10=0.
♪ Checking the sequence that all numbers are divided by 10.
♪ Consistent and attached conditional instructions.
♪ Cascading instructions, elif operator.