Simplify the following expression. ¬[u ∨ (u ∧ r)] → ¬(r ∧ r) [closed]












-1












$begingroup$


so far I got:
¬[¬u ∨ (u ∧ r)] V ¬(r ∧ r)






propositional-calculus







share|cite|improve this question











$endgroup$



closed as off-topic by Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh Jan 24 at 3:14


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh

If this question can be reworded to fit the rules in the help center, please edit the question.
















  • $begingroup$
    Do you have any ideas, anything you suspect about the statements? What have you thought?
    $endgroup$
    – Naman Kumar
    Jan 24 at 1:28
















-1












$begingroup$


so far I got:
¬[¬u ∨ (u ∧ r)] V ¬(r ∧ r)






propositional-calculus







share|cite|improve this question











$endgroup$



closed as off-topic by Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh Jan 24 at 3:14


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh

If this question can be reworded to fit the rules in the help center, please edit the question.
















  • $begingroup$
    Do you have any ideas, anything you suspect about the statements? What have you thought?
    $endgroup$
    – Naman Kumar
    Jan 24 at 1:28














-1












-1








-1





$begingroup$


so far I got:
¬[¬u ∨ (u ∧ r)] V ¬(r ∧ r)






propositional-calculus







share|cite|improve this question











$endgroup$




so far I got:
¬[¬u ∨ (u ∧ r)] V ¬(r ∧ r)






propositional-calculus




propositional-calculus






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 24 at 1:58







Derek Long

















asked Jan 24 at 1:03









Derek LongDerek Long

115




115




closed as off-topic by Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh Jan 24 at 3:14


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh

If this question can be reworded to fit the rules in the help center, please edit the question.







closed as off-topic by Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh Jan 24 at 3:14


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Eevee Trainer, Morgan Rodgers, Namaste, Kemono Chen, Shailesh

If this question can be reworded to fit the rules in the help center, please edit the question.












  • $begingroup$
    Do you have any ideas, anything you suspect about the statements? What have you thought?
    $endgroup$
    – Naman Kumar
    Jan 24 at 1:28


















  • $begingroup$
    Do you have any ideas, anything you suspect about the statements? What have you thought?
    $endgroup$
    – Naman Kumar
    Jan 24 at 1:28
















$begingroup$
Do you have any ideas, anything you suspect about the statements? What have you thought?
$endgroup$
– Naman Kumar
Jan 24 at 1:28




$begingroup$
Do you have any ideas, anything you suspect about the statements? What have you thought?
$endgroup$
– Naman Kumar
Jan 24 at 1:28










1 Answer
1






active

oldest

votes


















-1












$begingroup$

$$neg[uvee (u wedge r)] rightarrow neg(rwedge r)$$
$$negneg[uvee (u wedge r)]veeneg r$$
$$uveeneg r$$
$$r rightarrow u$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you!!!!!!!
    $endgroup$
    – Derek Long
    Jan 24 at 3:12


















1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









-1












$begingroup$

$$neg[uvee (u wedge r)] rightarrow neg(rwedge r)$$
$$negneg[uvee (u wedge r)]veeneg r$$
$$uveeneg r$$
$$r rightarrow u$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you!!!!!!!
    $endgroup$
    – Derek Long
    Jan 24 at 3:12
















-1












$begingroup$

$$neg[uvee (u wedge r)] rightarrow neg(rwedge r)$$
$$negneg[uvee (u wedge r)]veeneg r$$
$$uveeneg r$$
$$r rightarrow u$$






share|cite|improve this answer









$endgroup$













  • $begingroup$
    Thank you!!!!!!!
    $endgroup$
    – Derek Long
    Jan 24 at 3:12














-1












-1








-1





$begingroup$

$$neg[uvee (u wedge r)] rightarrow neg(rwedge r)$$
$$negneg[uvee (u wedge r)]veeneg r$$
$$uveeneg r$$
$$r rightarrow u$$






share|cite|improve this answer









$endgroup$



$$neg[uvee (u wedge r)] rightarrow neg(rwedge r)$$
$$negneg[uvee (u wedge r)]veeneg r$$
$$uveeneg r$$
$$r rightarrow u$$







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jan 24 at 2:42









lightxbulblightxbulb

1,125311




1,125311












  • $begingroup$
    Thank you!!!!!!!
    $endgroup$
    – Derek Long
    Jan 24 at 3:12


















  • $begingroup$
    Thank you!!!!!!!
    $endgroup$
    – Derek Long
    Jan 24 at 3:12
















$begingroup$
Thank you!!!!!!!
$endgroup$
– Derek Long
Jan 24 at 3:12




$begingroup$
Thank you!!!!!!!
$endgroup$
– Derek Long
Jan 24 at 3:12



Popular posts from this blog

MongoDB - Not Authorized To Execute Command

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 I have successfully enabled authorization on MongoDB and I have created an account on the admin database and then I created an account for my database called test. The following connection string to connect to my test database works successfully: mongo --host 192.168.17.52 --port 27017 -u user1 -p password --authenticationDatabase test Only problem I have now is, I cannot execute commands such as: show dbs. I get the following error when I try to do so: "errmsg" : "not authorized on admin to execute command { listDatabases: 1.0, lsid: { id: UUID("a1d5bc0d-bc58-485e-b232-270758a89455") }, $db: "admin...
Read more

Npm cannot find a required file even through it is in the searched directory

Image
up vote 0 down vote favorite I got that error: users-Air:pdfuploader user$ npm run start client@0.1.0 start /Users/user/Documents/pdfuploader react-scripts start Could not find a required file. Name: index.html Searched in: /Users/user/Documents/pdfuploader/public npm ERR! code ELIFECYCLE npm ERR! errno 1 npm ERR! client@0.1.0 start: `react-scripts start` npm ERR! Exit status 1 npm ERR! npm ERR! Failed at the client@0.1.0 start script. npm ERR! This is probably not a problem with npm. There is likely additional logging output above. npm ERR! A complete log of this run can be found in: npm ERR! /Users/user/.npm/_logs/2018-11-19T10_19_14_555Z-debug.log users-Air:pdfuploader user$ And the file is in /Users/user/Documents/pdfuploader/public as you can see in my github repository: https://github.c...
Read more

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

Image
1 I tried to upgrade a yummy sandwich made of two test slices (@JsonTest and @JdbcTest in my case, crunchy test code in between) adding spring boot 2.1 flavour to it. But it seems it was not much of a success. I cannot annotate my tests with many @...Test since they are now each bringing their own XxxTestContextBootstrapper. It used to work when they all used same SpringBootTestContextBootstrapper. @RunWith(SpringRunner.class) @JdbcTest @JsonTest public class Test { @Test public void test() { System.out.printn("Hello, World !"); } } The error I get from BootstrapUtils is illegalStateException : Configuration error: found multiple declarations of @BootstrapWith for test class I understand I might be doing something wrong here but is there an easy way I could load both Json and Jdbc contex...
Read more