|
|
Регистрация Восстановить пароль |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
23.10.2019, 16:28 | #1 |
Регистрация: 21.10.2019
Сообщений: 4
|
Алгебра логики
Всем привет! Подскажите, пожалуйста, кто знает как формализовать высказывания с помощью логических переменных и символов логических операций (*,+, -, ->, <>,=). Вот само выражение:
"Если при защите лабораторных блеснуть дополнительными знаниями, то можно заработать 5 баллов, следовательно, повысить семестровый рейтинг и заработать «автомат» Я лично пишу следующее: A->B=C*D. Но почему-то программа выдает неправильный ответ. В чём ошибка? |
23.10.2019, 19:30 | #2 |
Старожил
Регистрация: 12.11.2010
Сообщений: 8,568
|
Возможно, причина в том, что вы неверно расставили знаки операций и пропустили одно высказывание. Давайте так попробуем. Введём атомарные высказывания, и пусть они означают:
A = 'Защитил лабораторные работы'; B = 'Блеснул дополнительными знаниями'; C = 'Заработал 5 баллов'; D = 'Повысил семестровый рейтинг'; E = 'Получил «автомат»'. Тогда, по условию задачи: (A*B -> C) -> D*E |
24.10.2019, 16:36 | #3 |
Регистрация: 21.10.2019
Сообщений: 4
|
Спасибо за помощь. Но программа всё-равно выдает не правильный ответ. Может быть сама программа косячит
|
24.10.2019, 16:55 | #4 | |
Старожил
Регистрация: 17.11.2010
Сообщений: 18,922
|
Цитата:
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
|
|
24.10.2019, 18:30 | #5 |
Регистрация: 21.10.2019
Сообщений: 4
|
И даже так нет. Вообщем по ходу в программе не так ответ забит может быть
|
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Системы счисления, Алгебра логики, Алгоритмизация | Константин "Kosta" | Помощь студентам | 2 | 11.11.2011 16:26 |
алгебра логики | LiR1Ka | Помощь студентам | 3 | 07.06.2011 22:37 |
Алгебра логики. | Александр95 | Помощь студентам | 3 | 12.04.2011 16:02 |
алгебра логики | вредина123 | Помощь студентам | 0 | 12.12.2010 19:08 |
Развитие логики | Lemo | Помощь студентам | 5 | 04.11.2009 14:23 |