Логические основы ЭВМ

«Логические основы ЭВМ».

    Высказывание – любое предложение имеющее смысл.

    Высказывания могут быть истинными и ложными.

    Высказывания обозначаются заглавными латинскими буквами.

    Истинному высказыванию присваивается 1, ложному – 0.

    Схемы логических элементов:                                    

I. не x

II. x и y

III. x или y

 

/><span><br />
							</span></p>
</td>
<td style=

 

/></p>
</td>
<td style=

 

ходными данными</span>.<br />
</span></p>
<p><span>    Для решения задачи на компьютере необходимо иметь исходные данные и программу, реализующую алгоритм решения задач.<br />
</span></p>
<p><span>    <span>Алгоритм </span>– это конечная последовательность однозначных предписаний, исполнение которых позволяет с помощью конечного числа шагов получить решение задачи, однозначно определяемое исходными данными.<br />
</span></p>
	 
 				 </p>
			</div>
</article>
							
				</div>
								
				<div class=

an>

    3. Конъюнкция(&);

    4. Дизъюнкция(V);

    5.Импликация(=>);

    6. Эквивалентность().

    Для изменения указанного порядка выполнения логических операций используются скобки.

    Пример:

    Определить истинность составного высказывания:

( & ) & (C v D), состоящего из простых высказываний:

A={принтер – устройство вывода информации}

B={процессор – устройства вывода информации}

C={монитор – устройство вывода информации}

D={клавиатура – устройство обработки информации}

A=1, B=0, C=1, D=0.

( & ) & (1 v 0) = (0 & 1) & 1 = 0 &1 =0

Ответ: данное составное высказывание является ложным.

 

        «Алгоритмы и способы их описания».

    Совокупность значений переменных, которая должна быть задана перед выполнением программы на компьютере, называется исходными данными.

    Для решения задачи на компьютере необходимо иметь исходные данные и программу, реализующую алгоритм решения задач.

    Алгоритм – это конечная последовательность однозначных предписаний, исполнение которых позволяет с помощью конечного числа шагов получить решение задачи, однозначно определяемое исходными данными.