Частина тексту файла (без зображень, графіків і формул):
Міністерство науки і освіти України
Національний університет “Львівська політехніка”
Інститут комп’ютерних наук та інформаційних технологій
кафедра програмного забезпечення
Звіт з лабораторної роботи №3
з дисципліни “Дискретні структури ”
Виконав:
студент групи ПІ – 2
Львів 2008
Тема. Булеві функції, спеціальні форми їх подання та мінімізаці
Мета. Навчитись використовувати булеві функції
Завдання.
Побудувати істиннісну таблицю для виразу з проміжними кроками (атоми p,q,s).
(p or q) -> (not s -> q)
Текст програми
# include <stdio.h>
main()
{
int p,q,s,r,k,l;
printf("p q s (P->Q)->(not S -> Q)\n");
for ( p=0; p<2; p++)
for ( q=0; q<2; q++)
for ( s=0; s<2; s++)
{
k=( (!(p)) || (q));
l= (s || q);
r=((!k) || (l) );
//printf("%i %i \n", &k , &l);
printf("%i %i %i %i \n", p , q, s, r);
}
return 0;
}
Протокол виконання
Висновок: На даній лабораторній роботі ми навчились використовувати булеві функції