This presentation is the property of its rightful owner.
Sponsored Links
1 / 77

Алгебра логики PowerPoint PPT Presentation


  • 109 Views
  • Uploaded on
  • Presentation posted in: General

Алгебра логики. Логика — это наука о формах и способах мышления. Основными формами абстрактного мышления являются :. 1.Понятие 2.Высказывание 3 . Умозаключение. Понятие. Понятие — это форма мышления, фиксирующая основные, существенные признаки объекта.

Download Presentation

Алгебра логики

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


6941335


6941335

.


6941335

:

1.

2.

3.


6941335

  • , , .

  • : , ,


6941335

:

1) , ;

2) , ;

3) , ;

4) ;

5) , ;

6) .


6941335

=

. -.

  • : =

    =


6941335

. -.

  • :

    =

    =

    :

    =

    =


6941335

. -.

  • :

    =

    =

  • :

    = =

    =


6941335

2-3 .


6941335

  • , - , .

  • , .

  • : - .

    .


6941335

? .

  • ?

  • .

  • .

  • .

  • .

  • .


6941335

  • , () ().

    : : . .

    : . =. , , , , . =. ==. .


6941335


6941335

:

  • ;

  • .

(), .

( ).

, , ().

( ).


6941335

, . (, , ..)

= { - }

= { }.

1, 0.

, = 1, = 0.


6941335

, , . F(A,B)


6941335

, ?

1) .

2) 2 7.

3)3 + 5 = 2 * 4.

4)2 + 6 > 10.

5) , , .

6)II + VI > VIII.

7) 2 6 8.

8) .


6941335


6941335

  • :

  • ;

  • : &;

  • : and;

  • : .


6941335

  • :

  • ;

  • : V ;

  • : or;

  • : .


6941335

  • :

  • ", ... " ;

  • : A;

  • : not;

  • : .


6941335

  • :

  • ..., ...;

  • :, ;

  • : .


6941335

  • :

  • ;

  • : ,~ ;

  • : .


6941335

  • ;

  • ;

  • &;

  • V;

  • ;

  • .


6941335

, .

.


6941335

1. :

  • = { },

  • = { },

  • = { },

  • D = { }.

    2. :

    ( &B ) & (C VD)


6941335

  • :

  • = 1, = 0, = 1, D = 0.

  • , :

    (1& 0 ) & (1 V 0) = (0&1) & (1 V 0) = 0&1 = 0


6941335

2. : , ,

: . :

= ;

= ;

= .

:

F=A&(BC)


6941335

  • 3. , , , ((AV) & ) .


6941335

(1 0). , =0, ((AV) & ) = 1.

(1 1). , = 1 (AV) = 1.

(1 0) (1 1).

, , : ( = 0, = 1, = 0) ( = 1, = 1, = 0).


6941335

4. ; , ; .

1) 376 .

2) , .

3) .

4) .

5) 3, 3.

6) 15 3 , 15 3.


6941335

5. :

) (1V1)V(1V0);

) ((1V0)V1)V1;

) (0V1)V(1V0);

) (0&1)&1;

) 1&(1&1)&1;

) ((1V0)&(1&1))&(0V1);

) ((1&0)V(1&0))V1;

) ((1&1)V0)&(0V1);

) ((0&0)V0)&(1V1).


6941335

6. :

= {2 * 2 = 4}, = {2 * 2 = 5}.

, = 1, = 0.

)) ?

)A; ) B ;

) & ; ) AV;

) ; ) .


6941335

7. .

  • max(, , );

  • 2, .

  • , L, .

  • , , Z 12.

  • , , .


6941335


6941335

, , () , .


6941335

:

  • - : 2n, n - ;

  • - = - + - ;

  • ;

  • , ;

  • .


6941335

1.

A&(BV B &C)

.


6941335


6941335

1.

_

_

= A


6941335

2. () :

:

VB = BVA

:

A&B = B&A


6941335

3. () :

:

(AVB)VC = AV(BVC)

:

(A&B)&C = A&(B&C)


6941335

4. () :

:

(AVB)&C = (A&C)V(B&C)

:

(A&B)VC = (AVC)&(BVC)


6941335

5. ( ):

_____ _ _

A V B = A & B

_____ _ _

A & B =AV B

______ __

( B) = A & B

__

A B = A V B


6941335

6.

:

AVA = A

:

A&A = A


6941335

7. :

:

AV1 = 1; AV0 = A

:

A & 1 = A; A & 0 = 0


6941335

8. :

_

A & A = 0


6941335

9. :

_

AVA = 1


6941335

10. :

:

AV(A&B) = A

:

A&(AVB) = A


6941335

11. ():

:

_

(A & B)V(A& B) = B

:

_

(AVB) & (AVB) = B


6941335

12. ( ):

(A<=>B) = (B<=>A)


6941335

.

, , , , .

:

_____________

_____

F= (A V B) (B V C)

: B V A & C


6941335

. . :

  • ;

  • ;

  • .


6941335

:

1. ; 2. ; 3. , ; 4. ; 5. ,


6941335

1. , "-1", .

, , . .

, , , , . , .

, , :

, .

, , . ?


6941335

. :

; ; .

" " , , .

:

, , ,

=1, =0, =0.

. .


6941335

2. : , , , , , , .

, :

1. ; 2. ; 3. ; 4. , ; 5. , .

, ?


6941335

. , 0 1 , .

o, , , , .

4 , , , 3 5, , , . , . , "" "" :


6941335

: , , .


6941335

2. , , 10 . , , , . , , .

, , , . , .

, .

, .


6941335

. ( ).

. , , .


6941335

3. , : , . , , : " , , ". , , . ?


6941335

. :

1. ; 2. ; 3. . , , . , .

, . , . , .

, . , , .

: , , .


6941335

. , , , , , , . , :

  • ;

  • ;

  • ;

  • , ;

  • ;

  • , .

    ?


6941335

. - . , , . , , . , , . , , . , ?


6941335

. , , . , .


6941335

1

  • . .

  • , . , .

  • . .

  • . . .

    :


6941335

2

  • . .

  • , . , .

  • . .

  • . . .

    :


6941335

3

, . , . .

:


6941335

  • .

  • .

  • .

  • .


6941335

1.

F = X v Y & X,

= , Y = .


6941335

2

_____

F = X & Y v (Y v X),

= 1, Y = 0.


6941335


6941335

, , . () , (), () ().


6941335

:

  • - , , 1 .

  • - , .

  • - .


6941335

?

, . , , .


  • Login